@@ -236,7 +236,7 @@ source "kernel/Kconfig.freezer"
menu "System Type"
config MMU
- bool "MMU-based Paged Memory Management Support"
+ bool "MMU-based Paged Memory Management Support" if EXPERT
default y
help
Select if you want MMU-based virtualised addressing space
@@ -25,4 +25,13 @@ config MACH_VERSATILE_DT
Include support for the ARM(R) Versatile/PB platform,
using the device tree for discovery
+config MACH_VERSATILE_AUTO
+ def_bool y
+ depends on !ARCH_VERSATILE_PB
+ depends on !MACH_VERSATILE_AB
+ select MACH_VERSATILE_DT
+ help
+ We autoselect MACH_VERSATILE_DT if both PB and AB are
+ disabled, to ensure that at least one platform is enabled.
+
endmenu