| CONFIG_SYS_MALLOC_LEN=0x800000 |
| CONFIG_HAS_CUSTOM_SYS_INIT_SP_ADDR=y |
| CONFIG_CUSTOM_SYS_INIT_SP_ADDR=0x80200000 |
| CONFIG_DEFAULT_DEVICE_TREE="qemu-virt64" |
| CONFIG_SYS_LOAD_ADDR=0x80200000 |
| CONFIG_TARGET_QEMU_VIRT=y |
| CONFIG_STANDALONE_LOAD_ADDR=0x80200000 |
| CONFIG_PREBOOT="setenv fdt_addr ${fdtcontroladdr}; fdt addr ${fdtcontroladdr};" |
| CONFIG_DISPLAY_BOARDINFO=y |
| CONFIG_SYS_BOOTM_LEN=0x4000000 |
| CONFIG_CMD_BOOTEFI_SELFTEST=y |
| # CONFIG_CMD_MII is not set |
| CONFIG_SYS_RELOC_GD_ENV_ADDR=y |
| CONFIG_FLASH_SHOW_PROGRESS=0 |
| CONFIG_SYS_MAX_FLASH_BANKS=2 |