4 CONFIG_ENV_SIZE=0x40000
5 CONFIG_ENV_SECT_SIZE=0x40000
7 CONFIG_DISTRO_DEFAULTS=y
11 CONFIG_FIT_BEST_MATCH=y
12 CONFIG_LEGACY_IMAGE_FORMAT=y
14 # CONFIG_DISPLAY_CPUINFO is not set
15 # CONFIG_DISPLAY_BOARDINFO is not set
17 CONFIG_CMD_BOOTEFI_SELFTEST=y
18 CONFIG_CMD_NVEDIT_EFI=y
25 CONFIG_ENV_IS_IN_FLASH=y
26 CONFIG_ENV_ADDR=0x4000000
33 # CONFIG_MMC is not set
36 CONFIG_MTD_NOR_FLASH=y
37 CONFIG_FLASH_CFI_DRIVER=y
39 CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
40 CONFIG_FLASH_CFI_MTD=y
41 CONFIG_SYS_FLASH_CFI=y
47 CONFIG_PCIE_ECAM_GENERIC=y
51 CONFIG_SYSRESET_PSCI=y