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_ZBOOT_ROM_TEXT=0x0
10 CONFIG_ZBOOT_ROM_BSS=0x0
11 CONFIG_CMDLINE="root=/dev/nfs ip=bootp console=ttyS0,115200 mem=64M"
19 # CONFIG_IPV6 is not set
21 CONFIG_MTD_REDBOOT_PARTS=y
24 CONFIG_MTD_CFI_ADV_OPTIONS=y
25 CONFIG_MTD_CFI_GEOMETRY=y
26 # CONFIG_MTD_CFI_I1 is not set
27 CONFIG_MTD_CFI_INTELEXT=y
32 # CONFIG_INPUT_MOUSE is not set
33 # CONFIG_SERIO_SERPORT is not set
35 CONFIG_SERIAL_PXA_CONSOLE=y
38 # CONFIG_VGA_CONSOLE is not set
39 CONFIG_FRAMEBUFFER_CONSOLE=y
46 CONFIG_NLS_ISO8859_1=y