diff -r b6faa28e76e0 -r dd71df95903a config/arch/arm.in --- a/config/arch/arm.in Wed Nov 30 00:25:22 2011 +0100 +++ b/config/arch/arm.in Sun Jul 17 17:54:21 2011 +0200 @@ -9,6 +9,7 @@ ## select ARCH_SUPPORTS_WITH_ARCH ## select ARCH_SUPPORTS_WITH_CPU ## select ARCH_SUPPORTS_WITH_TUNE +## select ARCH_SUPPORTS_WITH_FLOAT ## select ARCH_SUPPORTS_WITH_FPU ## select ARCH_SUPPORTS_SOFTFP ##