diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index b1f3df3..8af414a 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -321,12 +321,23 @@
 	  Select if you want MMU-based virtualised addressing space
 	  support by paged memory management. If unsure, say 'Y'.
 
+choice
+	prompt "ARM system type"
+	depends on !MMU
+	default ARM_SINGLE_ARMV7M
+
 config ARM_SINGLE_ARMV7M
-	def_bool !MMU
+	bool "ARMv7-M based platforms (Cortex-M0/M3/M4)"
 	select ARM_NVIC
 	select CPU_V7M
 	select NO_IOPORT_MAP
 
+config ARM_SINGLE_VERSATILE
+	bool "Versatile based platform"
+	select CPU_ARM926T
+
+endchoice
+
 config ARCH_MMAP_RND_BITS_MIN
 	default 8
 
diff --git a/arch/arm/mach-versatile/Kconfig b/arch/arm/mach-versatile/Kconfig
index 5136180..bf1040b 100644
--- a/arch/arm/mach-versatile/Kconfig
+++ b/arch/arm/mach-versatile/Kconfig
@@ -1,7 +1,7 @@
 # SPDX-License-Identifier: GPL-2.0
 config ARCH_VERSATILE
 	bool "ARM Ltd. Versatile family"
-	depends on ARCH_MULTI_V5
+	depends on ARCH_MULTI_V5 || ARM_SINGLE_VERSATILE
 	depends on CPU_LITTLE_ENDIAN
 	select ARM_AMBA
 	select ARM_TIMER_SP804