diff -r 896cb0d36c1a -r 710fa859bfe6 config/arch/arm.in
--- a/config/arch/arm.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/arch/arm.in	Wed Nov 16 16:06:42 2011 -0500
@@ -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/