CONFIG_EXPERIMENTAL=y

  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_CHAR=y
  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_ERRORS=y
  CONFIG_DEBUG_LL=y

  # CONFIG_CRC32 is not set