1CONFIG_40x=y
2# CONFIG_LOCALVERSION_AUTO is not set
3CONFIG_SYSVIPC=y
4CONFIG_POSIX_MQUEUE=y
5CONFIG_IKCONFIG=y
6CONFIG_IKCONFIG_PROC=y
7CONFIG_LOG_BUF_SHIFT=14
8CONFIG_BLK_DEV_INITRD=y
9CONFIG_SLAB=y
10CONFIG_MODULES=y
11CONFIG_MODULE_UNLOAD=y
12CONFIG_MODULE_FORCE_UNLOAD=y
13CONFIG_MODVERSIONS=y
14# CONFIG_BLK_DEV_BSG is not set
15# CONFIG_WALNUT is not set
16CONFIG_XILINX_VIRTEX_GENERIC_BOARD=y
17CONFIG_PREEMPT=y
18CONFIG_MATH_EMULATION=y
19CONFIG_CMDLINE_BOOL=y
20CONFIG_CMDLINE=""
21CONFIG_PCI=y
22CONFIG_NET=y
23CONFIG_PACKET=y
24CONFIG_UNIX=y
25CONFIG_INET=y
26CONFIG_IP_MULTICAST=y
27CONFIG_IP_PNP=y
28CONFIG_IP_PNP_DHCP=y
29CONFIG_IP_PNP_BOOTP=y
30# CONFIG_INET_LRO is not set
31CONFIG_NETFILTER=y
32CONFIG_IP_NF_IPTABLES=m
33CONFIG_IP_NF_FILTER=m
34CONFIG_IP_NF_MANGLE=m
35CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
36CONFIG_BLK_DEV_LOOP=y
37CONFIG_BLK_DEV_RAM=y
38CONFIG_BLK_DEV_RAM_SIZE=8192
39CONFIG_XILINX_SYSACE=y
40CONFIG_NETDEVICES=y
41# CONFIG_SERIO_SERPORT is not set
42CONFIG_SERIO_XILINX_XPS_PS2=y
43CONFIG_SERIAL_8250=y
44CONFIG_SERIAL_8250_CONSOLE=y
45CONFIG_SERIAL_UARTLITE=y
46CONFIG_SERIAL_UARTLITE_CONSOLE=y
47CONFIG_SERIAL_OF_PLATFORM=y
48CONFIG_XILINX_HWICAP=y
49CONFIG_GPIOLIB=y
50CONFIG_GPIO_SYSFS=y
51CONFIG_GPIO_XILINX=y
52# CONFIG_HWMON is not set
53CONFIG_FB=y
54CONFIG_FB_XILINX=y
55CONFIG_FRAMEBUFFER_CONSOLE=y
56CONFIG_LOGO=y
57# CONFIG_USB_SUPPORT is not set
58CONFIG_EXT2_FS=y
59CONFIG_AUTOFS4_FS=y
60CONFIG_MSDOS_FS=y
61CONFIG_VFAT_FS=y
62CONFIG_TMPFS=y
63CONFIG_CRAMFS=y
64CONFIG_ROMFS_FS=y
65CONFIG_NFS_FS=y
66CONFIG_ROOT_NFS=y
67CONFIG_NLS_CODEPAGE_437=y
68CONFIG_NLS_ASCII=m
69CONFIG_NLS_ISO8859_1=m
70CONFIG_NLS_UTF8=m
71CONFIG_CRC_CCITT=y
72CONFIG_FONTS=y
73CONFIG_FONT_8x8=y
74CONFIG_FONT_8x16=y
75CONFIG_PRINTK_TIME=y
76CONFIG_DEBUG_INFO=y
77CONFIG_DEBUG_KERNEL=y
78# CONFIG_CRYPTO_ANSI_CPRNG is not set
79