CONFIG_ARM=y
  CONFIG_ARCH_AT91=y

  CONFIG_SYS_TEXT_BASE=0x26f00000

  CONFIG_TARGET_MA5D4EVK=y

  CONFIG_SPL_GPIO_SUPPORT=y

  CONFIG_SPL_LIBCOMMON_SUPPORT=y

  CONFIG_SPL_LIBGENERIC_SUPPORT=y

  CONFIG_SPL_SERIAL_SUPPORT=y

  CONFIG_SPL_SPI_FLASH_SUPPORT=y

  CONFIG_SPL_SPI_SUPPORT=y

  CONFIG_ENV_VARS_UBOOT_CONFIG=y

  CONFIG_FIT=y

  CONFIG_BOOTDELAY=3

  CONFIG_USE_BOOTARGS=y
  CONFIG_BOOTARGS="console=ttyS3,115200"

  CONFIG_VERSION_VARIABLE=y

  # CONFIG_DISPLAY_BOARDINFO is not set

  CONFIG_BOARD_EARLY_INIT_F=y

  CONFIG_SPL=y

  CONFIG_HUSH_PARSER=y

  CONFIG_CMD_BOOTZ=y

  # CONFIG_CMD_IMI is not set

  CONFIG_CMD_ASKENV=y
  CONFIG_CMD_GREPENV=y

  CONFIG_CMD_DFU=y

  # CONFIG_CMD_FLASH is not set

  # CONFIG_CMD_LOADS is not set

  CONFIG_CMD_MMC=y

  CONFIG_CMD_SF=y
  CONFIG_CMD_USB=y

  CONFIG_CMD_USB_MASS_STORAGE=y

  CONFIG_CMD_DHCP=y

  CONFIG_CMD_MII=y

  CONFIG_CMD_PING=y

  CONFIG_CMD_CACHE=y
  CONFIG_CMD_EXT4=y
  CONFIG_CMD_EXT4_WRITE=y
  CONFIG_CMD_FAT=y
  CONFIG_CMD_FS_GENERIC=y

  CONFIG_ENV_IS_IN_MMC=y

  CONFIG_NET_RANDOM_ETHADDR=y

  CONFIG_BOOTP_BOOTPATH=y
  CONFIG_BOOTP_GATEWAY=y
  CONFIG_BOOTP_HOSTNAME=y

  CONFIG_DFU_MMC=y
  CONFIG_DFU_SF=y

  CONFIG_SPI_FLASH=y

  CONFIG_USB=y

  CONFIG_USB_EHCI_HCD=y

  CONFIG_USB_STORAGE=y

  CONFIG_USB_GADGET=y

  CONFIG_USB_GADGET_MANUFACTURER="AriesEmbedded"
  CONFIG_USB_GADGET_VENDOR_NUM=0x0525
  CONFIG_USB_GADGET_PRODUCT_NUM=0xa4a5

  CONFIG_USB_GADGET_ATMEL_USBA=y

  CONFIG_USB_GADGET_DOWNLOAD=y

  CONFIG_USB_ETHER=y

  CONFIG_FAT_WRITE=y
  CONFIG_OF_LIBFDT=y
  # CONFIG_EFI_LOADER is not set