nommu: Enables to select noMMU mode

MMU option is now selectable.

Signed-off-by: Hyok S. Choi <hyok.choi@samsung.com>

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index a36b5a8b123ece6706893c741eda72d4d0b7841f..dc70660fe6bd0b4555c3ba4c55560b46c1cf8469 100644 (file)
--- 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