4 CONFIG_SYS_MALLOC_LEN=0x1000000
6 CONFIG_ENV_SIZE=0x40000
7 CONFIG_ENV_SECT_SIZE=0x40000
8 CONFIG_TARGET_QEMU_ARM_32BIT=y
9 CONFIG_DEBUG_UART_BASE=0x9000000
10 CONFIG_DEBUG_UART_CLOCK=0
14 CONFIG_DISTRO_DEFAULTS=y
15 CONFIG_SYS_LOAD_ADDR=0x40200000
17 CONFIG_FIT_SIGNATURE=y
19 CONFIG_FIT_BEST_MATCH=y
20 CONFIG_LEGACY_IMAGE_FORMAT=y
22 # CONFIG_DISPLAY_CPUINFO is not set
23 # CONFIG_DISPLAY_BOARDINFO is not set
25 CONFIG_CMD_BOOTEFI_SELFTEST=y
26 CONFIG_CMD_NVEDIT_EFI=y
34 CONFIG_ENV_IS_IN_FLASH=y
35 CONFIG_ENV_ADDR=0x4000000
41 # CONFIG_MMC is not set
44 CONFIG_MTD_NOR_FLASH=y
46 CONFIG_SYS_FLASH_USE_BUFFER_WRITE=y
47 CONFIG_FLASH_CFI_MTD=y
48 CONFIG_SYS_FLASH_CFI=y
53 CONFIG_PCIE_ECAM_GENERIC=y
56 CONFIG_DEBUG_UART_PL011=y
57 CONFIG_DEBUG_UART_SHIFT=2
59 CONFIG_SYSRESET_PSCI=y