| CONFIG_ARM=y |
| CONFIG_TARGET_VEXPRESS64_BASER_FVP=y |
| CONFIG_SYS_TEXT_BASE=0x00001000 |
| CONFIG_SYS_MALLOC_F_LEN=0x2000 |
| CONFIG_NR_DRAM_BANKS=2 |
| CONFIG_SYS_MEMTEST_START=0x80000000 |
| CONFIG_SYS_MEMTEST_END=0xff000000 |
| CONFIG_ENV_SIZE=0x40000 |
| CONFIG_ENV_SECT_SIZE=0x40000 |
| CONFIG_IDENT_STRING=" vexpress_aemv8r64" |
| CONFIG_DISTRO_DEFAULTS=y |
| CONFIG_BOOTDELAY=3 |
| CONFIG_USE_BOOTARGS=y |
| CONFIG_BOOTARGS="console=ttyAMA0 earlycon=pl011,0x9c090000 rootfstype=ext4 root=/dev/vda1 rw rootwait" |
| CONFIG_USE_BOOTCOMMAND=y |
| CONFIG_BOOTCOMMAND="fdt addr ${fdt_addr}; fdt resize; booti $kernel_addr - $fdt_addr" |
| # CONFIG_DISPLAY_CPUINFO is not set |
| CONFIG_SYS_PROMPT="VExpress64# " |
| CONFIG_OF_LIBFDT=y |