@@ -352,6 +352,23 @@ config ARCH_VERSATILE
help
This enables support for ARM Ltd Versatile board.
+config ARCH_VEXPRESS_NOMMU
+ bool "ARM Ltd. Versatile Express family for NOMMU"
+ depends on !MMU
+ select ARCH_VEXPRESS
+ select SPARSE_IRQ
+ select ARM_GENERIC_HEADERS
+ help
+ This option enables support for systems using Cortex processor based
+ ARM core and logic (FPGA) tiles on the Versatile Express motherboard,
+ in configurations WITHOUT an MMU. You must boot using a Flattened
+ Device Tree - the traditional ATAGs boot method is not usable with
+ this configuration.
+
+ If your system has an MMU and you want to make use of it, you
+ should instead choose to build a multiplatform kernel and
+ select ARCH_VEXPRESS
+
config ARCH_AT91
bool "Atmel AT91"
select ARCH_REQUIRE_GPIOLIB
Since 617276307cd4c ("ARM: vexpress: convert to multi-platform") it has been impossible to select ARCH_VEXPRESS without ARCH_MULTIPLATFORM. ARCH_MULTIPLATFORM doesn't make sense for NOMMU targets, not least because of the need to hard-code the memory map. However, it should still be possible to run NOMMU kernels on top of the Versatile Express by selecting it as the only platform. This patch creates a shim ARCH_VEXPRESS_NOMMU config option in the 'choice' for "ARM system type" to make this possible again. Signed-off-by: Jonathan Austin <jonathan.austin@arm.com> Signed-off-by: Will Deacon <will.deacon@arm.com> Acked-by: Nicolas Pitre <nico@fluxnic.net> Acked-by: Arnd Bergmann <arnd@arndb.de> --- arch/arm/Kconfig | 17 +++++++++++++++++ 1 file changed, 17 insertions(+)