diff options
| author | Hyok S. Choi <hyok.choi@samsung.com> | 2009-07-24 12:35:00 +0100 |
|---|---|---|
| committer | Catalin Marinas <catalin.marinas@arm.com> | 2009-07-24 12:35:00 +0100 |
| commit | 3c4279750c7d3f88a0638a44e257d7d8d10732f2 (patch) | |
| tree | f01c337e25dff2a0c8f816ca1020649c7cf32d1f /arch/arm/Kconfig | |
| parent | 05efde9d04ccc1d66a9d2225527c6ee638baa385 (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/Kconfig | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/arch/arm/Kconfig b/arch/arm/Kconfig index a36b5a8b123..dc70660fe6b 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 |