3 CONFIG_TARGET_QEMU_ARM_64BIT=y
4 CONFIG_ENV_SIZE=0x40000
6 CONFIG_ENV_SECT_SIZE=0x40000
8 CONFIG_DISTRO_DEFAULTS=y
10 CONFIG_PREBOOT="pci enum"
11 # CONFIG_DISPLAY_CPUINFO is not set
12 # CONFIG_DISPLAY_BOARDINFO is not set
13 CONFIG_CMD_BOOTEFI_SELFTEST=y
14 CONFIG_CMD_NVEDIT_EFI=y
18 CONFIG_ENV_IS_IN_FLASH=y
19 CONFIG_ENV_ADDR=0x4000000
23 # CONFIG_MMC is not set
25 CONFIG_MTD_NOR_FLASH=y
26 CONFIG_FLASH_CFI_DRIVER=y
28 CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
29 CONFIG_SYS_FLASH_CFI=y
35 CONFIG_PCIE_ECAM_GENERIC=y
39 CONFIG_SYSRESET_PSCI=y