4 CONFIG_LOG_BUF_SHIFT=14
5 # CONFIG_CC_OPTIMIZE_FOR_SIZE is not set
7 # CONFIG_HOTPLUG is not set
9 CONFIG_FRV_OUTOFLINE_ATOMIC_OPS=y
10 CONFIG_FRV_DEFL_CACHE_WTHRU=y
17 # CONFIG_IPV6 is not set
18 # CONFIG_STANDALONE is not set
19 # CONFIG_PREVENT_FIRMWARE_BUILD is not set
25 # CONFIG_INPUT is not set
26 # CONFIG_SERIO is not set
27 # CONFIG_VT is not set
28 CONFIG_SERIAL_8250_CONSOLE=y
29 CONFIG_SERIAL_8250_NR_UARTS=1
30 CONFIG_SERIAL_8250_RUNTIME_UARTS=1
31 CONFIG_SERIAL_8250_EXTENDED=y
32 CONFIG_SERIAL_8250_SHARE_IRQ=y
33 # CONFIG_LEGACY_PTYS is not set
38 # CONFIG_DEBUG_BUGVERBOSE is not set
39 CONFIG_DEBUG_STACKOVERFLOW=y