5 CONFIG_LOG_BUF_SHIFT=14
6 CONFIG_BLK_DEV_INITRD=y
7 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
10 CONFIG_MODULE_UNLOAD=y
11 # CONFIG_BLK_DEV_BSG is not set
13 # CONFIG_EBONY is not set
24 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
25 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
26 # CONFIG_INET_XFRM_MODE_BEET is not set
27 # CONFIG_INET_LRO is not set
28 # CONFIG_IPV6 is not set
29 CONFIG_UEVENT_HELPER_PATH="/sbin/hotplug"
31 CONFIG_PROC_DEVICETREE=y
33 CONFIG_BLK_DEV_RAM_SIZE=35000
37 # CONFIG_INPUT is not set
38 # CONFIG_SERIO is not set
39 # CONFIG_VT is not set
41 CONFIG_SERIAL_8250_CONSOLE=y
42 # CONFIG_SERIAL_8250_PCI is not set
43 CONFIG_SERIAL_8250_EXTENDED=y
44 CONFIG_SERIAL_8250_SHARE_IRQ=y
45 CONFIG_SERIAL_OF_PLATFORM=y
46 # CONFIG_HW_RANDOM is not set
47 # CONFIG_HWMON is not set
49 CONFIG_VIDEO_OUTPUT_CONTROL=m
61 CONFIG_DETECT_HUNG_TASK=y
62 # CONFIG_DEBUG_BUGVERBOSE is not set
63 # CONFIG_RCU_CPU_STALL_DETECTOR is not set
64 CONFIG_SYSCTL_SYSCALL_CHECK=y
71 # CONFIG_CRYPTO_ANSI_CPRNG is not set