| CONFIG_SYSVIPC=y |
| CONFIG_LOG_BUF_SHIFT=14 |
| CONFIG_BLK_DEV_INITRD=y |
| CONFIG_MODULES=y |
| CONFIG_ARCH_SA1100=y |
| CONFIG_SA1100_HACKKIT=y |
| CONFIG_LEDS=y |
| CONFIG_LEDS_CPU=y |
| CONFIG_ZBOOT_ROM_TEXT=0x0 |
| CONFIG_ZBOOT_ROM_BSS=0x0 |
| CONFIG_CMDLINE="console=ttySA0,115200 root=/dev/ram0 initrd=0xc0400000,8M init=/rootshell" |
| CONFIG_CPU_FREQ_GOV_PERFORMANCE=y |
| CONFIG_FPE_NWFPE=y |
| CONFIG_BINFMT_AOUT=y |
| CONFIG_NET=y |
| CONFIG_PACKET=y |
| CONFIG_UNIX=y |
| CONFIG_INET=y |
| CONFIG_SYN_COOKIES=y |
| # CONFIG_IPV6 is not set |
| CONFIG_MTD=y |
| CONFIG_MTD_DEBUG=y |
| CONFIG_MTD_DEBUG_VERBOSE=3 |
| CONFIG_MTD_BLOCK=y |
| CONFIG_MTD_CFI=y |
| CONFIG_MTD_CFI_INTELEXT=y |
| CONFIG_BLK_DEV_RAM=y |
| CONFIG_BLK_DEV_RAM_SIZE=8192 |
| CONFIG_NETDEVICES=y |
| CONFIG_DUMMY=y |
| # CONFIG_INPUT_KEYBOARD is not set |
| # CONFIG_INPUT_MOUSE is not set |
| CONFIG_SERIAL_SA1100=y |
| CONFIG_SERIAL_SA1100_CONSOLE=y |
| # CONFIG_VGA_CONSOLE is not set |
| CONFIG_EXT2_FS=y |
| CONFIG_MSDOS_FS=y |
| CONFIG_VFAT_FS=y |
| CONFIG_TMPFS=y |
| CONFIG_CRAMFS=y |
| CONFIG_MAGIC_SYSRQ=y |
| CONFIG_DEBUG_KERNEL=y |
| CONFIG_DEBUG_SPINLOCK=y |
| CONFIG_DEBUG_USER=y |
| CONFIG_DEBUG_LL=y |
| # CONFIG_CRC32 is not set |
