diff -r 5d4e91c0343e -r b5179235b925 config/target.in
--- a/config/target.in	Sun Jul 17 16:53:40 2011 +0200
+++ b/config/target.in	Wed Oct 19 15:27:32 2011 +1300
@@ -296,6 +296,11 @@
       
       Leave blank if you don't know better.
 
+config ARCH_FLOAT
+    string
+    default "hard"   if ARCH_FLOAT_HW
+    default "soft"   if ARCH_FLOAT_SW
+
 source "config.gen/arch.in.2"
 
 endmenu