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_WALNUT is not set
18 CONFIG_XILINX_VIRTEX_GENERIC_BOARD=y
20 CONFIG_MATH_EMULATION=y
32 # CONFIG_INET_LRO is not set
34 CONFIG_IP_NF_IPTABLES=m
37 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
38 CONFIG_PROC_DEVICETREE=y
41 CONFIG_BLK_DEV_RAM_SIZE=8192
42 CONFIG_XILINX_SYSACE=y
46 # CONFIG_NETDEV_10000 is not set
47 # CONFIG_SERIO_I8042 is not set
48 # CONFIG_SERIO_SERPORT is not set
49 CONFIG_SERIO_XILINX_XPS_PS2=y
51 CONFIG_SERIAL_8250_CONSOLE=y
52 CONFIG_SERIAL_UARTLITE=y
53 CONFIG_SERIAL_UARTLITE_CONSOLE=y
54 CONFIG_SERIAL_OF_PLATFORM=y
55 CONFIG_XILINX_HWICAP=y
59 # CONFIG_HWMON is not set
62 CONFIG_FRAMEBUFFER_CONSOLE=y
67 # CONFIG_HID_SUPPORT is not set
68 # CONFIG_USB_SUPPORT is not set
81 CONFIG_NLS_CODEPAGE_437=y
83 CONFIG_NLS_ISO8859_1=m
89 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
90 CONFIG_SYSCTL_SYSCALL_CHECK=y
91 # CONFIG_CRYPTO_ANSI_CPRNG is not set