2 CONFIG_LOG_BUF_SHIFT=14
3 # CONFIG_ARCH_MULTI_V7 is not set
5 CONFIG_MACH_MAINSTONE=y
6 CONFIG_UNUSED_BOARD_FILES=y
7 CONFIG_CMDLINE="root=/dev/nfs ip=bootp console=ttyS0,115200 mem=64M"
15 # CONFIG_IPV6 is not set
17 CONFIG_MTD_REDBOOT_PARTS=y
20 CONFIG_MTD_CFI_ADV_OPTIONS=y
21 CONFIG_MTD_CFI_GEOMETRY=y
22 # CONFIG_MTD_CFI_I1 is not set
23 CONFIG_MTD_CFI_INTELEXT=y
28 # CONFIG_INPUT_MOUSE is not set
29 # CONFIG_SERIO_SERPORT is not set
31 CONFIG_SERIAL_PXA_CONSOLE=y
34 # CONFIG_VGA_CONSOLE is not set
35 CONFIG_FRAMEBUFFER_CONSOLE=y
39 CONFIG_LEDS_TRIGGERS=y
40 CONFIG_LEDS_TRIGGER_CPU=y
46 CONFIG_NLS_ISO8859_1=y
48 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y