1 2 3 4 5
CONFIG_ARM=y CONFIG_ARCH_VEXPRESS64=y CONFIG_DEFAULT_DEVICE_TREE="arm_fvp" CONFIG_IDENT_STRING=" arm_fvp" # CONFIG_DISPLAY_CPUINFO is not set