3
CONFIG_LOG_BUF_SHIFT=14
4
CONFIG_BLK_DEV_INITRD=y
5
# CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
10
# CONFIG_BLK_DEV_BSG is not set
11
# CONFIG_PPC_CHRP is not set
12
# CONFIG_PPC_PMAC is not set
27
# CONFIG_INET_LRO is not set
28
# CONFIG_IPV6 is not set
29
CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
30
# CONFIG_FW_LOADER is not set
31
CONFIG_PROC_DEVICETREE=y
34
CONFIG_BLK_DEV_RAM_SIZE=32768
44
# CONFIG_INPUT_MOUSEDEV is not set
45
# CONFIG_INPUT_KEYBOARD is not set
46
# CONFIG_INPUT_MOUSE is not set
47
# CONFIG_SERIO is not set
48
# CONFIG_VT is not set
50
CONFIG_SERIAL_8250_CONSOLE=y
51
# CONFIG_HW_RANDOM is not set
57
CONFIG_VIDEO_OUTPUT_CONTROL=m
60
# CONFIG_EXT3_DEFAULTS_TO_ORDERED is not set
68
CONFIG_PARTITION_ADVANCED=y
70
# CONFIG_RCU_CPU_STALL_DETECTOR is not set
71
CONFIG_SYSCTL_SYSCALL_CHECK=y
74
# CONFIG_CRYPTO_ANSI_CPRNG is not set