diff -r 896cb0d36c1a -r 986e1c75432a config/arch/arm.in
--- a/config/arch/arm.in	Sun May 08 19:02:44 2011 +0200
+++ b/config/arch/arm.in	Fri Nov 18 15:29:18 2011 +0800
@@ -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/