kernelconfig_penguin
CONFIG_ARCH_VEXPRESS is not available for the default architecture x86.
Result is shown for architecture arm64

ARMv8 software model (Versatile Express)

modulename: v2m.ko
configname: CONFIG_ARCH_VEXPRESS

Linux Kernel Configuration
└─> Platform selection
└─> ARMv8 software model (Versatile Express)

This enables support for the ARMv8 software model (Versatile
Express).


source code:


arch/arm/mach-vexpress/v2m.c