4
CONFIG_LOG_BUF_SHIFT=14
5
CONFIG_BLK_DEV_INITRD=y
6
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
10
# CONFIG_BLK_DEV_BSG is not set
14
CONFIG_MATH_EMULATION=y
23
# CONFIG_INET_LRO is not set
24
# CONFIG_IPV6 is not set
26
CONFIG_IP_NF_IPTABLES=m
29
CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
30
# CONFIG_FW_LOADER is not set
31
CONFIG_PROC_DEVICETREE=y
37
CONFIG_BLK_DEV_RAM_SIZE=32768
39
CONFIG_BLK_DEV_IDECD=m
45
CONFIG_SCSI_MULTI_LUN=y
46
CONFIG_SCSI_CONSTANTS=y
51
CONFIG_INPUT_MOUSEDEV_SCREEN_X=1280
52
CONFIG_INPUT_MOUSEDEV_SCREEN_Y=1024
55
# CONFIG_VT is not set
57
CONFIG_SERIAL_CPM_CONSOLE=y
65
# CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
83
CONFIG_DETECT_HUNG_TASK=y
84
# CONFIG_DEBUG_BUGVERBOSE is not set
85
# CONFIG_RCU_CPU_STALL_DETECTOR is not set
86
CONFIG_SYSCTL_SYSCALL_CHECK=y
88
# CONFIG_CRYPTO_ANSI_CPRNG is not set