1.1 --- a/config/arch/arm.in	Thu Nov 24 19:38:37 2011 +0100
     1.2 +++ b/config/arch/arm.in	Wed Jun 25 23:33:01 2014 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  # ARM specific configuration file
     1.5  
     1.6  ## select ARCH_SUPPORTS_32
     1.7 +## select ARCH_SUPPORTS_64
     1.8  ## select ARCH_DEFAULT_32
     1.9  ## select ARCH_SUPPORTS_BOTH_MMU
    1.10  ## select ARCH_DEFAULT_HAS_MMU
    1.11 @@ -9,9 +10,9 @@
    1.12  ## select ARCH_SUPPORTS_WITH_ARCH
    1.13  ## select ARCH_SUPPORTS_WITH_CPU
    1.14  ## select ARCH_SUPPORTS_WITH_TUNE
    1.15 -## select ARCH_SUPPORTS_WITH_FLOAT
    1.16 -## select ARCH_SUPPORTS_WITH_FPU
    1.17 -## select ARCH_SUPPORTS_SOFTFP
    1.18 +## select ARCH_SUPPORTS_WITH_FLOAT if ARCH_32
    1.19 +## select ARCH_SUPPORTS_WITH_FPU if ARCH_32
    1.20 +## select ARCH_SUPPORTS_SOFTFP if ARCH_32
    1.21  ##
    1.22  ## help The ARM architecture, as defined by:
    1.23  ## help     http://www.arm.com/