1.1 --- a/config/target.in	Mon Dec 17 17:17:23 2012 +0100
     1.2 +++ b/config/target.in	Sun Dec 23 14:32:20 2012 +0100
     1.3 @@ -294,18 +294,9 @@
     1.4        binary blobs from different vendors that are compiling this way and
     1.5        can't (don't wan't to) change.
     1.6  
     1.7 -config ARCH_FLOAT_SW
     1.8 -    bool
     1.9 -    prompt "software"
    1.10 -    help
    1.11 -      Do not emit any hardware floating point opcode.
    1.12 -      
    1.13 -      If your processor has no FPU, then you most probably want this, as it
    1.14 -      is faster than emulating the FPU in the kernel.
    1.15 -
    1.16  config ARCH_FLOAT_SOFTFP
    1.17      bool
    1.18 -    prompt "softfp"
    1.19 +    prompt "softfp (FPU)"
    1.20      depends on ARCH_SUPPORTS_SOFTFP
    1.21      help
    1.22        Emit hardware floating point opcodes but use the software
    1.23 @@ -319,6 +310,15 @@
    1.24  
    1.25        If in doubt, use 'software' or 'hardware' mode instead.
    1.26  
    1.27 +config ARCH_FLOAT_SW
    1.28 +    bool
    1.29 +    prompt "software (no FPU)"
    1.30 +    help
    1.31 +      Do not emit any hardware floating point opcode.
    1.32 +      
    1.33 +      If your processor has no FPU, then you most probably want this, as it
    1.34 +      is faster than emulating the FPU in the kernel.
    1.35 +
    1.36  endchoice
    1.37  
    1.38  config TARGET_CFLAGS