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