diff -r 33f695f7773a -r 27fec561af53 config/target.in
--- a/config/target.in	Fri Nov 07 08:09:42 2008 +0000
+++ b/config/target.in	Wed May 20 20:13:13 2009 +0000
@@ -10,14 +10,18 @@
     default n
 
 # Pre-declare target optimisation variables
+config ARCH_SUPPORTS_BOTH_MMU
+config ARCH_SUPPORTS_BOTH_ENDIAN
 config ARCH_SUPPORT_ARCH
 config ARCH_SUPPORT_ABI
 config ARCH_SUPPORT_CPU
 config ARCH_SUPPORT_TUNE
 config ARCH_SUPPORT_FPU
-config ARCH_SUPPORTS_BOTH_ENDIAN
+
+config ARCH_DEFAULT_HAS_MMU
 config ARCH_DEFAULT_BE
 config ARCH_DEFAULT_LE
+
 config ARCH_ARCH
 config ARCH_ABI
 config ARCH_CPU
@@ -34,6 +38,22 @@
 
 source config.gen/arch.in
 
+#--------------------------------------
+config ARCH_SUPPORTS_BOTH_MMU
+    bool
+    default n
+
+config ARCH_DEFAULT_HAS_MMU
+    bool
+    default n
+
+config ARCH_USE_MMU
+    bool
+    prompt "Use the MMU" if ARCH_SUPPORTS_BOTH_MMU
+    default n if ! ARCH_DEFAULT_HAS_MMU
+    default y if ARCH_DEFAULT_HAS_MMU
+
+#--------------------------------------
 config ARCH_SUPPORTS_BOTH_ENDIAN
     bool
     default n
@@ -63,6 +83,7 @@
 
 endchoice
 
+#--------------------------------------
 comment "Target optimisations"
 
 config ARCH_SUPPORT_ARCH