3 # CONFIG_LOCALVERSION_AUTO is not set
8 CONFIG_LOG_BUF_SHIFT=14
9 CONFIG_BLK_DEV_INITRD=y
10 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
13 CONFIG_MODULE_UNLOAD=y
14 CONFIG_MODULE_FORCE_UNLOAD=y
16 # CONFIG_BLK_DEV_BSG is not set
17 # CONFIG_EBONY is not set
18 CONFIG_XILINX_VIRTEX440_GENERIC_BOARD=y
20 CONFIG_MATH_EMULATION=y
31 # CONFIG_INET_LRO is not set
33 CONFIG_IP_NF_IPTABLES=m
36 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
37 CONFIG_PROC_DEVICETREE=y
40 CONFIG_BLK_DEV_RAM_SIZE=8192
41 CONFIG_XILINX_SYSACE=y
45 # CONFIG_NETDEV_10000 is not set
46 # CONFIG_SERIO_I8042 is not set
47 # CONFIG_SERIO_SERPORT is not set
48 CONFIG_SERIO_XILINX_XPS_PS2=y
50 CONFIG_SERIAL_8250_CONSOLE=y
51 CONFIG_SERIAL_UARTLITE=y
52 CONFIG_SERIAL_UARTLITE_CONSOLE=y
53 CONFIG_SERIAL_OF_PLATFORM=y
54 CONFIG_XILINX_HWICAP=y
58 # CONFIG_HWMON is not set
61 CONFIG_FRAMEBUFFER_CONSOLE=y
66 # CONFIG_HID_SUPPORT is not set
67 # CONFIG_USB_SUPPORT is not set
80 CONFIG_NLS_CODEPAGE_437=y
82 CONFIG_NLS_ISO8859_1=m
88 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
89 CONFIG_SYSCTL_SYSCALL_CHECK=y
90 # CONFIG_CRYPTO_ANSI_CPRNG is not set