summaryrefslogtreecommitdiff
path: root/arch/arm/Kconfig
diff options
context:
space:
mode:
authorHyok S. Choi <hyok.choi@samsung.com>2009-07-24 12:35:00 +0100
committerCatalin Marinas <catalin.marinas@arm.com>2009-07-24 12:35:00 +0100
commit3c4279750c7d3f88a0638a44e257d7d8d10732f2 (patch)
treef01c337e25dff2a0c8f816ca1020649c7cf32d1f /arch/arm/Kconfig
parent05efde9d04ccc1d66a9d2225527c6ee638baa385 (diff)
nommu: Enables to select noMMU mode
MMU option is now selectable. Signed-off-by: Hyok S. Choi <hyok.choi@samsung.com>
Diffstat (limited to 'arch/arm/Kconfig')
-rw-r--r--arch/arm/Kconfig11
1 files changed, 7 insertions, 4 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index a36b5a8b123e..dc70660fe6bd 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -46,10 +46,6 @@ config GENERIC_CLOCKEVENTS_BROADCAST
depends on GENERIC_CLOCKEVENTS
default y if SMP && !LOCAL_TIMERS
-config MMU
- bool
- default y
-
config NO_IOPORT
bool
@@ -188,6 +184,13 @@ source "kernel/Kconfig.freezer"
menu "System Type"
+config MMU
+ bool "MMU-based Paged Memory Management Support"
+ default y
+ help
+ Select if you want MMU-based virtualised addressing space
+ support by paged memory management. If unsure, say 'Y'.
+
choice
prompt "ARM system type"
default ARCH_VERSATILE