1.1 --- a/config/arch/arm.in Thu Nov 24 19:38:37 2011 +0100
1.2 +++ b/config/arch/arm.in Mon May 05 21:54:03 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/