1CONFIG_SYSVIPC=y
2CONFIG_LOG_BUF_SHIFT=14
3CONFIG_BLK_DEV_INITRD=y
4CONFIG_ARCH_MULTI_V4=y
5# CONFIG_ARCH_MULTI_V7 is not set
6CONFIG_ARCH_SA1100=y
7CONFIG_SA1100_HACKKIT=y
8CONFIG_UNUSED_BOARD_FILES=y
9CONFIG_CMDLINE="console=ttySA0,115200 root=/dev/ram0 initrd=0xc0400000,8M init=/rootshell"
10CONFIG_CPU_FREQ_GOV_PERFORMANCE=y
11CONFIG_FPE_NWFPE=y
12CONFIG_MODULES=y
13CONFIG_NET=y
14CONFIG_PACKET=y
15CONFIG_UNIX=y
16CONFIG_INET=y
17CONFIG_SYN_COOKIES=y
18# CONFIG_IPV6 is not set
19CONFIG_MTD=y
20CONFIG_MTD_DEBUG=y
21CONFIG_MTD_DEBUG_VERBOSE=3
22CONFIG_MTD_BLOCK=y
23CONFIG_MTD_CFI=y
24CONFIG_MTD_CFI_INTELEXT=y
25CONFIG_BLK_DEV_RAM=y
26CONFIG_BLK_DEV_RAM_SIZE=8192
27CONFIG_NETDEVICES=y
28CONFIG_DUMMY=y
29# CONFIG_INPUT_KEYBOARD is not set
30# CONFIG_INPUT_MOUSE is not set
31CONFIG_SERIAL_SA1100=y
32CONFIG_SERIAL_SA1100_CONSOLE=y
33# CONFIG_VGA_CONSOLE is not set
34CONFIG_NEW_LEDS=y
35CONFIG_LEDS_CLASS=y
36CONFIG_LEDS_TRIGGERS=y
37CONFIG_LEDS_TRIGGER_CPU=y
38CONFIG_EXT2_FS=y
39CONFIG_MSDOS_FS=y
40CONFIG_VFAT_FS=y
41CONFIG_TMPFS=y
42CONFIG_CRAMFS=y
43CONFIG_DEBUG_KERNEL=y
44CONFIG_MAGIC_SYSRQ=y
45CONFIG_DEBUG_SPINLOCK=y
46CONFIG_DEBUG_USER=y
47CONFIG_DEBUG_LL=y
48# CONFIG_CRC32 is not set
49