1.1 --- a/config/arch/arm.in	Wed Oct 21 18:08:31 2009 +0200
     1.2 +++ b/config/arch/arm.in	Wed Oct 21 18:22:05 2009 +0200
     1.3 @@ -1,7 +1,8 @@
     1.4  # ARM specific configuration file
     1.5  
     1.6  config ARCH_arm
     1.7 -    select ARCH_USE_MMU
     1.8 +    select ARCH_SUPPORTS_BOTH_MMU
     1.9 +    select ARCH_DEFAULT_HAS_MMU
    1.10      select ARCH_SUPPORTS_BOTH_ENDIAN
    1.11      select ARCH_DEFAULT_LE
    1.12      select ARCH_SUPPORT_ARCH