4 CONFIG_TARGET_QEMU_ARM_32BIT=y
7 CONFIG_DISTRO_DEFAULTS=y
9 CONFIG_PREBOOT="pci enum"
10 # CONFIG_DISPLAY_CPUINFO is not set
11 # CONFIG_DISPLAY_BOARDINFO is not set
12 CONFIG_CMD_BOOTEFI_SELFTEST=y
13 CONFIG_CMD_NVEDIT_EFI=y
17 CONFIG_ENV_IS_IN_FLASH=y
21 # CONFIG_MMC is not set
23 CONFIG_MTD_NOR_FLASH=y
24 CONFIG_FLASH_CFI_DRIVER=y
26 CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
27 CONFIG_SYS_FLASH_CFI=y
33 CONFIG_PCIE_ECAM_GENERIC=y
37 CONFIG_SYSRESET_PSCI=y