1 files changed, 10 insertions, 1 deletions

diff --git a/arch/arm64/Kconfig b/arch/arm64/Kconfig
index 9b6d19f74078..73b6e764034c 100644
--- a/arch/arm64/Kconfig
+++ b/arch/arm64/Kconfig
@@ -99,7 +99,16 @@ source "init/Kconfig"
 
 source "kernel/Kconfig.freezer"
 
-menu "System Type"
+menu "Platform selection"
+
+config ARCH_VEXPRESS
+        bool "ARMv8 software model (Versatile Express)"
+        select ARCH_REQUIRE_GPIOLIB
+        select COMMON_CLK_VERSATILE
+        select VEXPRESS_CONFIG
+        help
+          This enables support for the ARMv8 software model (Versatile
+          Express).
 
 endmenu