1.1 --- a/config/arch/arm.in	Sun May 08 19:02:44 2011 +0200
     1.2 +++ b/config/arch/arm.in	Wed Oct 19 15:27:32 2011 +1300
     1.3 @@ -10,6 +10,7 @@
     1.4  ## select ARCH_SUPPORT_CPU
     1.5  ## select ARCH_SUPPORT_TUNE
     1.6  ## select ARCH_SUPPORT_FPU
     1.7 +## select ARCH_SUPPORT_SOFTFP
     1.8  ##
     1.9  ## help The ARM architecture, as defined by:
    1.10  ## help     http://www.arm.com/