diff -r 896cb0d36c1a -r 8f5f36b3473b config/arch/arm.in
--- a/config/arch/arm.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/arch/arm.in	Wed Oct 19 15:27:32 2011 +1300
@@ -10,6 +10,7 @@
 ## select ARCH_SUPPORT_CPU
 ## select ARCH_SUPPORT_TUNE
 ## select ARCH_SUPPORT_FPU
+## select ARCH_SUPPORT_SOFTFP
 ##
 ## help The ARM architecture, as defined by:
 ## help     http://www.arm.com/