4 CONFIG_TARGET_QEMU_ARM_32BIT=y
5 CONFIG_ENV_SIZE=0x40000
7 CONFIG_ENV_SECT_SIZE=0x40000
9 CONFIG_DISTRO_DEFAULTS=y
11 CONFIG_PREBOOT="pci enum"
12 # CONFIG_DISPLAY_CPUINFO is not set
13 # CONFIG_DISPLAY_BOARDINFO is not set
14 CONFIG_CMD_BOOTEFI_SELFTEST=y
15 CONFIG_CMD_NVEDIT_EFI=y
19 CONFIG_ENV_IS_IN_FLASH=y
20 CONFIG_ENV_ADDR=0x4000000
24 # CONFIG_MMC is not set
26 CONFIG_MTD_NOR_FLASH=y
27 CONFIG_FLASH_CFI_DRIVER=y
29 CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
30 CONFIG_SYS_FLASH_CFI=y
36 CONFIG_PCIE_ECAM_GENERIC=y
40 CONFIG_SYSRESET_PSCI=y