commit 3c4279750c7d3f88a0638a44e257d7d8d10732f2
author Hyok S. Choi <hyok.choi@samsung.com> Fri Jul 24 12:35:00 2009 +0100
committer Catalin Marinas <catalin.marinas@arm.com> Fri Jul 24 12:35:00 2009 +0100
tree f01c337e25dff2a0c8f816ca1020649c7cf32d1f
parent 05efde9d04ccc1d66a9d2225527c6ee638baa385

nommu: Enables to select noMMU mode

MMU option is now selectable.

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

arch/arm/Kconfig

diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig
index a36b5a8..dc70660 100644
--- a/arch/arm/Kconfig
+++ b/arch/arm/Kconfig
@@ -46,10 +46,6 @@
 	depends on GENERIC_CLOCKEVENTS
 	default y if SMP && !LOCAL_TIMERS
 
-config MMU
-	bool
-	default y
-
 config NO_IOPORT
 	bool
 
@@ -188,6 +184,13 @@
 
 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