diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 601bb2720b..39769e6019 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -16,7 +16,7 @@
   </b></big>
   <p><small>by</small></p>
   <p>Gregory Nutt</p>
-  <p><small>Last Update: December 30, 2007</small></p>
+  <p><small>Last Update: January 6, 2006</small></p>
 </center>
 
 <center><h1>Table of Contents</h1></center>
@@ -1245,6 +1245,16 @@ The system can be re-made subsequently by just typing <code>make</code>.
     The startaddress of DRAM (virtual)</li>
 </ul>
 
+<p>
+  General build options:
+</p>
+<ul>
+  <li><code>CONFIG_RRLOAD_BINARY</code>:
+    Make the rrload binary format used with BSPs from <a href="www.ridgerun.com">ridgerun.com</a>.</li>
+  <li><code>CONFIG_HAVE_LIBM</code>:
+    Toolchain supports libm.a</li>
+</ul>
+
 <h2>General OS setup</h2>
 
 <ul>
diff --git a/configs/README.txt b/configs/README.txt
index 60151e243e..b3470680a4 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -120,6 +120,13 @@ defconfig -- This is a configuration file similar to the Linux
 		CONFIG_DRAM_START - The start address of DRAM (physical)
 		CONFIG_DRAM_VSTART - The startaddress of DRAM (virtual)
 
+
+	General build options
+
+		CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+		  BSPs from www.ridgerun.com
+		CONFIG_HAVE_LIBM - toolchain supports libm.a
+
 	General OS setup
 
 		CONFIG_EXAMPLE - identifies the subdirectory in examples
diff --git a/configs/c5471evm/defconfig b/configs/c5471evm/defconfig
index ce8e142f6e..85a2b5b8bc 100644
--- a/configs/c5471evm/defconfig
+++ b/configs/c5471evm/defconfig
@@ -96,6 +96,16 @@ CONFIG_UART_MODEM_PARITY=0
 CONFIG_UART_IRDA_2STOP=0
 CONFIG_UART_MODEM_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/c5471evm/dhcpconfig b/configs/c5471evm/dhcpconfig
index 1526f6149a..555a051abb 100644
--- a/configs/c5471evm/dhcpconfig
+++ b/configs/c5471evm/dhcpconfig
@@ -96,6 +96,16 @@ CONFIG_UART_MODEM_PARITY=0
 CONFIG_UART_IRDA_2STOP=0
 CONFIG_UART_MODEM_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/c5471evm/netconfig b/configs/c5471evm/netconfig
index 153b3e72ab..1d73d1bbee 100644
--- a/configs/c5471evm/netconfig
+++ b/configs/c5471evm/netconfig
@@ -65,6 +65,16 @@ CONFIG_DRAM_END=0x11000000
 CONFIG_ARCH_LEDS=y
 CONFIG_ARCH_STACKDUMP=y
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
 #
 # C5471 specific device driver settings
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/c5471evm/nshconfig b/configs/c5471evm/nshconfig
index fc611ac73d..9e185994fd 100644
--- a/configs/c5471evm/nshconfig
+++ b/configs/c5471evm/nshconfig
@@ -96,6 +96,16 @@ CONFIG_UART_MODEM_PARITY=0
 CONFIG_UART_IRDA_2STOP=0
 CONFIG_UART_MODEM_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=y
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -192,14 +202,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/m68332evb/defconfig b/configs/m68332evb/defconfig
index ce4bed812e..99dc97c530 100644
--- a/configs/m68332evb/defconfig
+++ b/configs/m68332evb/defconfig
@@ -85,6 +85,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -181,14 +191,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/mcu123-lpc214x/defconfig b/configs/mcu123-lpc214x/defconfig
index 6401217c80..93883dfd13 100644
--- a/configs/mcu123-lpc214x/defconfig
+++ b/configs/mcu123-lpc214x/defconfig
@@ -109,6 +109,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -205,14 +215,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=y
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/ntosd-dm320/defconfig b/configs/ntosd-dm320/defconfig
index e4e53bc8cc..d6c138167e 100644
--- a/configs/ntosd-dm320/defconfig
+++ b/configs/ntosd-dm320/defconfig
@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/ntosd-dm320/netconfig b/configs/ntosd-dm320/netconfig
index 3115a076f6..99c790c570 100644
--- a/configs/ntosd-dm320/netconfig
+++ b/configs/ntosd-dm320/netconfig
@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/ntosd-dm320/udpconfig b/configs/ntosd-dm320/udpconfig
index dfa00b1002..e5e52153d8 100644
--- a/configs/ntosd-dm320/udpconfig
+++ b/configs/ntosd-dm320/udpconfig
@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/ntosd-dm320/uipconfig b/configs/ntosd-dm320/uipconfig
index f5e523c54c..37516219d8 100644
--- a/configs/ntosd-dm320/uipconfig
+++ b/configs/ntosd-dm320/uipconfig
@@ -94,6 +94,16 @@ CONFIG_UART1_PARITY=0
 CONFIG_UART0_2STOP=0
 CONFIG_UART1_2STOP=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -190,14 +200,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/pjrc-8051/defconfig b/configs/pjrc-8051/defconfig
index fd2965129f..e10a6d5402 100644
--- a/configs/pjrc-8051/defconfig
+++ b/configs/pjrc-8051/defconfig
@@ -82,6 +82,16 @@ CONFIG_SWITCH_FRAME_DUMP=n
 CONFIG_INTERRUPT_FRAME_DUMP=n
 CONFIG_LED_DEBUG=n
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -178,14 +188,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/sim/defconfig b/configs/sim/defconfig
index 85e0f865b8..d7c2eb0fc9 100644
--- a/configs/sim/defconfig
+++ b/configs/sim/defconfig
@@ -151,8 +151,10 @@ CONFIG_ARCH_KFREE=n
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
 #   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=y
 
 #
 # Sizes of configurable things (0 disables)
diff --git a/configs/sim/netconfig b/configs/sim/netconfig
index 264bfb9f90..77f4ae8292 100644
--- a/configs/sim/netconfig
+++ b/configs/sim/netconfig
@@ -50,6 +50,16 @@ CONFIG_ARCH_SIM=y
 CONFIG_ARCH_BOARD=sim
 CONFIG_ARCH_BOARD_SIM=y
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=y
+
 #
 # General OS setup
 #
@@ -147,14 +157,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/z80sim/defconfig b/configs/z80sim/defconfig
index e52913f7d9..4de440afcc 100644
--- a/configs/z80sim/defconfig
+++ b/configs/z80sim/defconfig
@@ -64,6 +64,16 @@ CONFIG_DRAM_SIZE=65536
 CONFIG_UART_RXBUFSIZE=0
 CONFIG_UART_TXBUFSIZE=0
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -160,14 +170,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #
diff --git a/configs/z80sim/nshconfig b/configs/z80sim/nshconfig
index 63326cb6f2..aa852ef8a5 100644
--- a/configs/z80sim/nshconfig
+++ b/configs/z80sim/nshconfig
@@ -64,6 +64,16 @@ CONFIG_DRAM_SIZE=65536
 CONFIG_UART_RXBUFSIZE=64
 CONFIG_UART_TXBUFSIZE=64
 
+#
+# General build options
+#
+# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
+#   BSPs from www.ridgerun.com
+# CONFIG_HAVE_LIBM - toolchain supports libm.a
+#
+CONFIG_RRLOAD_BINARY=n
+CONFIG_HAVE_LIBM=n
+
 #
 # General OS setup
 #
@@ -160,14 +170,6 @@ CONFIG_ARCH_KMALLOC=n
 CONFIG_ARCH_KZMALLOC=n
 CONFIG_ARCH_KFREE=n
 
-#
-# General build options
-#
-# CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
-#
-CONFIG_RRLOAD_BINARY=n
-
 #
 # Sizes of configurable things (0 disables)
 #