3 CONFIG_LOG_BUF_SHIFT=14
4 CONFIG_BLK_DEV_INITRD=y
7 CONFIG_SA1100_HACKKIT=y
10 CONFIG_ZBOOT_ROM_TEXT=0x0
11 CONFIG_ZBOOT_ROM_BSS=0x0
12 CONFIG_CMDLINE="console=ttySA0,115200 root=/dev/ram0 initrd=0xc0400000,8M init=/rootshell"
13 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
21 # CONFIG_IPV6 is not set
24 CONFIG_MTD_DEBUG_VERBOSE=3
28 CONFIG_MTD_CFI_INTELEXT=y
30 CONFIG_BLK_DEV_RAM_SIZE=8192
33 # CONFIG_INPUT_KEYBOARD is not set
34 # CONFIG_INPUT_MOUSE is not set
35 CONFIG_SERIAL_SA1100=y
36 CONFIG_SERIAL_SA1100_CONSOLE=y
37 # CONFIG_VGA_CONSOLE is not set
45 CONFIG_DEBUG_SPINLOCK=y
49 # CONFIG_CRC32 is not set