CONFIG_ARM=y
  CONFIG_ARCH_MVEBU=y

  CONFIG_SYS_TEXT_BASE=0x00000000

  CONFIG_SYS_MALLOC_F_LEN=0x2000
  CONFIG_TARGET_MVEBU_ARMADA_8K=y
  CONFIG_DEFAULT_DEVICE_TREE="armada-8040-db"
  CONFIG_SMBIOS_PRODUCT_NAME=""

  CONFIG_DEBUG_UART=y

  CONFIG_AHCI=y

  CONFIG_DISTRO_DEFAULTS=y

  # CONFIG_SYS_MALLOC_CLEAR_ON_INIT is not set
  CONFIG_SYS_CONSOLE_INFO_QUIET=y
  # CONFIG_DISPLAY_CPUINFO is not set
  # CONFIG_DISPLAY_BOARDINFO is not set

  CONFIG_ARCH_EARLY_INIT_R=y

  CONFIG_BOARD_EARLY_INIT_F=y

  # CONFIG_CMD_FLASH is not set

  CONFIG_CMD_I2C=y

  CONFIG_CMD_MMC=y

  CONFIG_CMD_PCI=y

  CONFIG_CMD_SF=y
  CONFIG_CMD_SPI=y

  CONFIG_CMD_USB=y

  # CONFIG_CMD_SETEXPR is not set
  CONFIG_CMD_TFTPPUT=y

  CONFIG_CMD_CACHE=y
  CONFIG_CMD_TIME=y

  CONFIG_CMD_MVEBU_BUBT=y

  CONFIG_CMD_EXT4_WRITE=y

  CONFIG_MAC_PARTITION=y

  CONFIG_ENV_IS_IN_SPI_FLASH=y

  CONFIG_SCSI_AHCI=y

  CONFIG_BLOCK_CACHE=y
  CONFIG_DM_I2C=y
  CONFIG_SYS_I2C_MVTWSI=y
  CONFIG_MISC=y

  CONFIG_DM_MMC=y
  CONFIG_MMC_SDHCI=y
  CONFIG_MMC_SDHCI_XENON=y

  CONFIG_SPI_FLASH=y
  CONFIG_SPI_FLASH_MACRONIX=y
  CONFIG_SPI_FLASH_SPANSION=y
  CONFIG_SPI_FLASH_STMICRO=y

  CONFIG_PHY_MARVELL=y

  CONFIG_PHY_GIGE=y

  CONFIG_MVPP2=y

  CONFIG_PCI=y
  CONFIG_DM_PCI=y
  CONFIG_PCIE_DW_MVEBU=y

  CONFIG_MVEBU_COMPHY_SUPPORT=y

  CONFIG_PINCTRL=y

  CONFIG_PINCTRL_ARMADA_8K=y

  # CONFIG_SPL_SERIAL_PRESENT is not set

  CONFIG_DEBUG_UART_BASE=0xf0512000
  CONFIG_DEBUG_UART_CLOCK=200000000
  CONFIG_DEBUG_UART_SHIFT=2
  CONFIG_DEBUG_UART_ANNOUNCE=y
  CONFIG_SYS_NS16550=y

  CONFIG_KIRKWOOD_SPI=y

  CONFIG_USB=y
  CONFIG_DM_USB=y
  CONFIG_USB_XHCI_HCD=y
  CONFIG_USB_EHCI_HCD=y
  CONFIG_USB_STORAGE=y

  CONFIG_USB_HOST_ETHER=y

  CONFIG_USB_ETHER_ASIX=y
  CONFIG_USB_ETHER_MCS7830=y
  CONFIG_USB_ETHER_RTL8152=y
  CONFIG_USB_ETHER_SMSC95XX=y

  CONFIG_SMBIOS_MANUFACTURER=""