4 CONFIG_LOG_BUF_SHIFT=14
5 CONFIG_BLK_DEV_INITRD=y
9 # CONFIG_BLK_DEV_BSG is not set
11 # CONFIG_EBONY is not set
21 # CONFIG_INET_XFRM_MODE_TRANSPORT is not set
22 # CONFIG_INET_XFRM_MODE_TUNNEL is not set
23 # CONFIG_INET_XFRM_MODE_BEET is not set
24 # CONFIG_IPV6 is not set
27 CONFIG_BLK_DEV_RAM_SIZE=35000
30 # CONFIG_INPUT is not set
31 # CONFIG_SERIO is not set
32 # CONFIG_VT is not set
34 CONFIG_SERIAL_8250_CONSOLE=y
35 # CONFIG_SERIAL_8250_PCI is not set
36 CONFIG_SERIAL_8250_EXTENDED=y
37 CONFIG_SERIAL_8250_SHARE_IRQ=y
38 CONFIG_SERIAL_OF_PLATFORM=y
39 # CONFIG_HW_RANDOM is not set
40 # CONFIG_HWMON is not set
50 CONFIG_DETECT_HUNG_TASK=y
51 # CONFIG_DEBUG_BUGVERBOSE is not set