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
30CONFIG_NETFILTER=y
31CONFIG_IP_NF_IPTABLES=m
32CONFIG_IP_NF_FILTER=m
33CONFIG_IP_NF_MANGLE=m
34CONFIG_BLK_DEV_LOOP=y
35CONFIG_BLK_DEV_RAM=y
36CONFIG_BLK_DEV_RAM_SIZE=8192
37CONFIG_XILINX_SYSACE=y
38CONFIG_NETDEVICES=y
39# CONFIG_SERIO_SERPORT is not set
40CONFIG_SERIO_XILINX_XPS_PS2=y
41CONFIG_SERIAL_8250=y
42CONFIG_SERIAL_8250_CONSOLE=y
43CONFIG_SERIAL_OF_PLATFORM=y
44CONFIG_SERIAL_UARTLITE=y
45CONFIG_SERIAL_UARTLITE_CONSOLE=y
46CONFIG_XILINX_HWICAP=y
47CONFIG_GPIOLIB=y
48CONFIG_GPIO_SYSFS=y
49CONFIG_GPIO_XILINX=y
50# CONFIG_HWMON is not set
51CONFIG_FB=y
52CONFIG_FB_XILINX=y
53CONFIG_FRAMEBUFFER_CONSOLE=y
54CONFIG_LOGO=y
55# CONFIG_USB_SUPPORT is not set
56CONFIG_EXT2_FS=y
57CONFIG_AUTOFS4_FS=y
58CONFIG_MSDOS_FS=y
59CONFIG_VFAT_FS=y
60CONFIG_TMPFS=y
61CONFIG_CRAMFS=y
62CONFIG_ROMFS_FS=y
63CONFIG_NFS_FS=y
64CONFIG_ROOT_NFS=y
65CONFIG_NLS_CODEPAGE_437=y
66CONFIG_NLS_ASCII=m
67CONFIG_NLS_ISO8859_1=m
68CONFIG_NLS_UTF8=m
69CONFIG_CRC_CCITT=y
70CONFIG_FONTS=y
71CONFIG_FONT_8x8=y
72CONFIG_FONT_8x16=y
73CONFIG_PRINTK_TIME=y
74CONFIG_DEBUG_INFO=y
75CONFIG_DEBUG_KERNEL=y
76