CONFIG_ARM=y

  CONFIG_SYS_THUMB_BUILD=y

  # CONFIG_SPL_USE_ARCH_MEMCPY is not set
  # CONFIG_SPL_USE_ARCH_MEMSET is not set

  CONFIG_TARGET_X600=y

  CONFIG_SYS_TEXT_BASE=0x00800040

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_IDENT_STRING="-SPEAr"

  CONFIG_BOOTDELAY=3

  CONFIG_SYS_CONSOLE_INFO_QUIET=y

  # CONFIG_DISPLAY_BOARDINFO is not set

  CONFIG_SPL=y

  CONFIG_SPL_NOR_SUPPORT=y

  CONFIG_HUSH_PARSER=y

  CONFIG_SYS_PROMPT="X600> "

  CONFIG_AUTOBOOT_KEYED=y
  CONFIG_AUTOBOOT_PROMPT="Hit SPACE in %d seconds to stop autoboot.
  "
  CONFIG_AUTOBOOT_STOP_STR=" "

  CONFIG_CMD_IMLS=y

  CONFIG_LOOPW=y

  CONFIG_CMD_GPIO=y

  CONFIG_CMD_I2C=y
  CONFIG_CMD_NAND=y

  CONFIG_CMD_SAVES=y

  CONFIG_CMD_USB=y

  # CONFIG_CMD_SETEXPR is not set

  CONFIG_CMD_DHCP=y

  CONFIG_CMD_MII=y

  CONFIG_CMD_PING=y

  CONFIG_CMD_CACHE=y

  CONFIG_CMD_DATE=y

  CONFIG_CMD_FAT=y
  CONFIG_CMD_FS_GENERIC=y

  CONFIG_MTDIDS_DEFAULT="nand0=nand"
  CONFIG_MTDPARTS_DEFAULT="mtdparts=nand:64M(ubi0),64M(ubi1)"

  CONFIG_CMD_UBI=y

  CONFIG_ENV_IS_IN_FLASH=y

  CONFIG_BOOTCOUNT_LIMIT=y

  CONFIG_SYS_BOOTCOUNT_ADDR=0xD2801FF8

  CONFIG_FPGA_XILINX=y

  CONFIG_FPGA_SPARTAN3=y

  CONFIG_SYS_I2C_DW=y

  # CONFIG_MMC is not set

  CONFIG_MTD_NOR_FLASH=y

  CONFIG_PHY_MICREL=y
  CONFIG_PHY_MICREL_KSZ90X1=y

  CONFIG_NETDEVICES=y

  CONFIG_ETH_DESIGNWARE=y

  CONFIG_USB=y

  CONFIG_USB_EHCI_HCD=y

  CONFIG_USB_STORAGE=y

  CONFIG_BCH=y

  CONFIG_USE_TINY_PRINTF=y

  CONFIG_OF_LIBFDT=y

  # CONFIG_EFI_LOADER is not set