CONFIG_ARM=y
# CONFIG_ARM64_CRC32 is not set
# CONFIG_ARM64_SUPPORT_AARCH32 is not set
CONFIG_ARCH_VEXPRESS64=y
CONFIG_DEFAULT_DEVICE_TREE="fvp-base-revc"
CONFIG_BOOTMETH_SCRIPT=y
CONFIG_BOOTDELAY=0
# CONFIG_DISPLAY_CPUINFO is not set