2 CONFIG_LOG_BUF_SHIFT=14
3 CONFIG_BLK_DEV_INITRD=y
5 # CONFIG_HOTPLUG is not set
6 # CONFIG_SHMEM is not set
8 # CONFIG_ARCH_MULTI_V7 is not set
11 CONFIG_UNUSED_BOARD_FILES=y
12 CONFIG_CMDLINE="console=ttySA0,9600 mem=16M@0xc0000000 mem=16M@0xc8000000 root=/dev/ram initrd=0xc0400000,4M"
13 CONFIG_CPU_FREQ_DEFAULT_GOV_PERFORMANCE=y
14 CONFIG_CPU_FREQ_GOV_ONDEMAND=y
17 # CONFIG_SWAP is not set
23 # CONFIG_IPV6 is not set
25 CONFIG_MTD_CMDLINE_PARTS=y
26 CONFIG_MTD_REDBOOT_PARTS=y
27 CONFIG_MTD_REDBOOT_PARTS_UNALLOCATED=y
30 CONFIG_MTD_CFI_INTELEXT=y
34 CONFIG_BLK_DEV_RAM_SIZE=8192
38 # CONFIG_INPUT is not set
39 # CONFIG_SERIO is not set
40 # CONFIG_VT is not set
41 CONFIG_SERIAL_SA1100=y
42 CONFIG_SERIAL_SA1100_CONSOLE=y
45 # CONFIG_EXT3_FS_XATTR is not set
46 # CONFIG_DNOTIFY is not set