CONFIG_ARM=y

  CONFIG_ARCH_CPU_INIT=y

  CONFIG_ORION5X=y

  CONFIG_SYS_TEXT_BASE=0x00800000

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_ENV_SIZE=0x2000
  CONFIG_ENV_SECT_SIZE=0x2000

  CONFIG_TARGET_EDMINIV2=y

  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_NR_DRAM_BANKS=1

  CONFIG_SPL=y

  CONFIG_IDENT_STRING=" EDMiniV2"

  CONFIG_SPL_TEXT_BASE=0xffff0000

  CONFIG_BOOTDELAY=3

  # CONFIG_DISPLAY_BOARDINFO is not set

  CONFIG_ARCH_MISC_INIT=y

  CONFIG_SPL_BOARD_INIT=y

  CONFIG_SPL_NOR_SUPPORT=y

  CONFIG_HUSH_PARSER=y

  # CONFIG_AUTO_COMPLETE is not set

  CONFIG_SYS_PROMPT="EDMiniV2> "

  CONFIG_CMD_IMLS=y

  CONFIG_CMD_IDE=y

  CONFIG_CMD_I2C=y
  CONFIG_CMD_USB=y

  # CONFIG_CMD_SETEXPR is not set

  CONFIG_CMD_EXT2=y

  CONFIG_ISO_PARTITION=y

  CONFIG_ENV_IS_IN_FLASH=y

  CONFIG_ENV_ADDR=0xFFF84000

  CONFIG_MVSATA_IDE=y

  # CONFIG_MMC is not set

  CONFIG_MTD_NOR_FLASH=y

  CONFIG_FLASH_CFI_DRIVER=y
  CONFIG_SYS_FLASH_CFI=y

  CONFIG_MVGBE=y

  CONFIG_MII=y

  CONFIG_SYS_NS16550=y

  CONFIG_USB=y

  CONFIG_USB_EHCI_HCD=y

  CONFIG_USB_STORAGE=y