CONFIG_ARM=y
  CONFIG_ARM_SMCCC=y
  CONFIG_ARCH_QEMU=y

  CONFIG_TARGET_QEMU_ARM_32BIT=y

  CONFIG_AHCI=y
  CONFIG_DISTRO_DEFAULTS=y

  CONFIG_NR_DRAM_BANKS=1

  # CONFIG_DISPLAY_CPUINFO is not set
  # CONFIG_DISPLAY_BOARDINFO is not set

  CONFIG_CMD_BOOTEFI_SELFTEST=y

  CONFIG_CMD_PCI=y
  CONFIG_CMD_USB=y
  CONFIG_OF_BOARD=y

  CONFIG_ENV_IS_IN_FLASH=y

  CONFIG_SCSI_AHCI=y

  CONFIG_AHCI_PCI=y
  CONFIG_BLK=y
  # CONFIG_MMC is not set

  CONFIG_MTD=y
  CONFIG_MTD_NOR_FLASH=y
  CONFIG_FLASH_CFI_DRIVER=y
  CONFIG_CFI_FLASH=y
  CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
  CONFIG_SYS_FLASH_CFI=y

  CONFIG_DM_ETH=y
  CONFIG_E1000=y
  CONFIG_NVME=y
  CONFIG_PCI=y
  CONFIG_DM_PCI=y
  CONFIG_PCIE_ECAM_GENERIC=y
  CONFIG_SCSI=y
  CONFIG_DM_SCSI=y
  CONFIG_SYSRESET=y
  CONFIG_SYSRESET_PSCI=y
  CONFIG_USB=y
  CONFIG_DM_USB=y
  CONFIG_USB_EHCI_HCD=y
  CONFIG_USB_EHCI_PCI=y