1CONFIG_44x=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_EBONY is not set
16CONFIG_XILINX_VIRTEX440_GENERIC_BOARD=y
17CONFIG_PREEMPT=y
18CONFIG_MATH_EMULATION=y
19CONFIG_CMDLINE_BOOL=y
20CONFIG_CMDLINE=""
21CONFIG_NET=y
22CONFIG_PACKET=y
23CONFIG_UNIX=y
24CONFIG_INET=y
25CONFIG_IP_MULTICAST=y
26CONFIG_IP_PNP=y
27CONFIG_IP_PNP_DHCP=y
28CONFIG_IP_PNP_BOOTP=y
29# CONFIG_INET_LRO is not set
30CONFIG_NETFILTER=y
31CONFIG_IP_NF_IPTABLES=m
32CONFIG_IP_NF_FILTER=m
33CONFIG_IP_NF_MANGLE=m
34CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
35CONFIG_BLK_DEV_LOOP=y
36CONFIG_BLK_DEV_RAM=y
37CONFIG_BLK_DEV_RAM_SIZE=8192
38CONFIG_XILINX_SYSACE=y
39CONFIG_NETDEVICES=y
40# CONFIG_SERIO_SERPORT is not set
41CONFIG_SERIO_XILINX_XPS_PS2=y
42CONFIG_SERIAL_8250=y
43CONFIG_SERIAL_8250_CONSOLE=y
44CONFIG_SERIAL_UARTLITE=y
45CONFIG_SERIAL_UARTLITE_CONSOLE=y
46CONFIG_SERIAL_OF_PLATFORM=y
47CONFIG_XILINX_HWICAP=y
48CONFIG_GPIOLIB=y
49CONFIG_GPIO_SYSFS=y
50CONFIG_GPIO_XILINX=y
51# CONFIG_HWMON is not set
52CONFIG_FB=y
53CONFIG_FB_XILINX=y
54CONFIG_FRAMEBUFFER_CONSOLE=y
55CONFIG_LOGO=y
56# CONFIG_USB_SUPPORT is not set
57CONFIG_EXT2_FS=y
58CONFIG_AUTOFS4_FS=y
59CONFIG_MSDOS_FS=y
60CONFIG_VFAT_FS=y
61CONFIG_TMPFS=y
62CONFIG_CRAMFS=y
63CONFIG_ROMFS_FS=y
64CONFIG_NFS_FS=y
65CONFIG_ROOT_NFS=y
66CONFIG_NLS_CODEPAGE_437=y
67CONFIG_NLS_ASCII=m
68CONFIG_NLS_ISO8859_1=m
69CONFIG_NLS_UTF8=m
70CONFIG_CRC_CCITT=y
71CONFIG_FONTS=y
72CONFIG_FONT_8x8=y
73CONFIG_FONT_8x16=y
74CONFIG_PRINTK_TIME=y
75CONFIG_DEBUG_INFO=y
76CONFIG_DEBUG_KERNEL=y
77# CONFIG_CRYPTO_ANSI_CPRNG is not set
78