2 CONFIG_LOG_BUF_SHIFT=14
3 # CONFIG_ARCH_MULTI_V7 is not set
5 CONFIG_MACH_MAINSTONE=y
6 # CONFIG_ARM_THUMB is not set
9 CONFIG_CMDLINE="root=/dev/nfs ip=bootp console=ttyS0,115200 mem=64M"
17 # CONFIG_IPV6 is not set
19 CONFIG_MTD_REDBOOT_PARTS=y
22 CONFIG_MTD_CFI_ADV_OPTIONS=y
23 CONFIG_MTD_CFI_GEOMETRY=y
24 # CONFIG_MTD_CFI_I1 is not set
25 CONFIG_MTD_CFI_INTELEXT=y
30 # CONFIG_INPUT_MOUSE is not set
31 # CONFIG_SERIO_SERPORT is not set
33 CONFIG_SERIAL_PXA_CONSOLE=y
36 # CONFIG_VGA_CONSOLE is not set
37 CONFIG_FRAMEBUFFER_CONSOLE=y
44 CONFIG_NLS_ISO8859_1=y
46 CONFIG_DEBUG_INFO_DWARF_TOOLCHAIN_DEFAULT=y