2 CONFIG_COUNTER_FREQUENCY=24000000
3 CONFIG_ARCH_VEXPRESS64=y
5 CONFIG_DEFAULT_DEVICE_TREE="arm_fvp"
6 CONFIG_IDENT_STRING=" vexpress_aemv8r64"
7 CONFIG_TARGET_VEXPRESS64_BASER_FVP=y
11 CONFIG_BOOTARGS="console=ttyAMA0 earlycon=pl011,0x9c090000 rootfstype=ext4 root=/dev/vda2 rw rootwait"
14 # CONFIG_DISPLAY_CPUINFO is not set
15 CONFIG_SYS_PROMPT="VExpress64# "
16 # CONFIG_MMC is not set