diff -r 896cb0d36c1a -r 49af7802dcd5 config/arch/arm.in
--- a/config/arch/arm.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/arch/arm.in	Tue Nov 22 10:08:10 2011 +0100
@@ -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/