2 CONFIG_LOG_BUF_SHIFT=14
3 CONFIG_BLK_DEV_INITRD=y
6 CONFIG_SA1100_HACKKIT=y
9 CONFIG_ZBOOT_ROM_TEXT=0x0
10 CONFIG_ZBOOT_ROM_BSS=0x0
11 CONFIG_CMDLINE="console=ttySA0,115200 root=/dev/ram0 initrd=0xc0400000,8M init=/rootshell"
12 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
20 # CONFIG_IPV6 is not set
23 CONFIG_MTD_DEBUG_VERBOSE=3
26 CONFIG_MTD_CFI_INTELEXT=y
28 CONFIG_BLK_DEV_RAM_SIZE=8192
31 # CONFIG_INPUT_KEYBOARD is not set
32 # CONFIG_INPUT_MOUSE is not set
33 CONFIG_SERIAL_SA1100=y
34 CONFIG_SERIAL_SA1100_CONSOLE=y
35 # CONFIG_VGA_CONSOLE is not set
43 CONFIG_DEBUG_SPINLOCK=y
46 # CONFIG_CRC32 is not set