2 CONFIG_LOG_BUF_SHIFT=14
3 CONFIG_BLK_DEV_INITRD=y
5 # CONFIG_ARCH_MULTI_V7 is not set
7 CONFIG_SA1100_HACKKIT=y
8 CONFIG_UNUSED_BOARD_FILES=y
9 CONFIG_CMDLINE="console=ttySA0,115200 root=/dev/ram0 initrd=0xc0400000,8M init=/rootshell"
10 CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
18 # CONFIG_IPV6 is not set
21 CONFIG_MTD_DEBUG_VERBOSE=3
24 CONFIG_MTD_CFI_INTELEXT=y
26 CONFIG_BLK_DEV_RAM_SIZE=8192
29 # CONFIG_INPUT_KEYBOARD is not set
30 # CONFIG_INPUT_MOUSE is not set
31 CONFIG_SERIAL_SA1100=y
32 CONFIG_SERIAL_SA1100_CONSOLE=y
33 # CONFIG_VGA_CONSOLE is not set
36 CONFIG_LEDS_TRIGGERS=y
37 CONFIG_LEDS_TRIGGER_CPU=y
45 CONFIG_DEBUG_SPINLOCK=y
48 # CONFIG_CRC32 is not set