Add support for Intel Hex format output

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@922 7fd9a85b-ad96-42d3-883c-3090e2eb8679
2008-09-16 21:45:41 +00:00 · 2008-09-16 21:45:41 +00:00 · 7deb3a5ea9
parent d868880b3b
commit 7deb3a5ea9
34 changed files with 163 additions and 36 deletions
--- a/nuttx/ChangeLog
+++ b/nuttx/ChangeLog
@ -473,5 +473,6 @@
 	  In Place (XIP) support.
 	* Add mmap() API with restricted capability (only for XIP support)
 	* Extend ROMFS test at /examples/romfs to verify mmap() and XIP support.
+	* Add support for Intel Hex format output using objcopy


--- a/nuttx/Documentation/NuttX.html
+++ b/nuttx/Documentation/NuttX.html
@ -1107,6 +1107,7 @@ nuttx-0.3.15 2008-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 	  In Place (XIP) support.
 	* Add mmap() API with restricted capability (only for XIP support)
 	* Extend ROMFS test at /examples/romfs to verify mmap() and XIP support.
+	* Add support for Intel Hex format output using objcopy

 pascal-0.1.3 2008-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;

--- a/nuttx/Documentation/NuttxPortingGuide.html
+++ b/nuttx/Documentation/NuttxPortingGuide.html
@ -1334,7 +1334,11 @@ The system can be re-made subsequently by just typing <code>make</code>.
 </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>
+    Make the rrload binary format used with BSPs from <a href="www.ridgerun.com">ridgerun.com</a>
+     using the <code>tools/mkimage.sh</code> script.</li>
+   <li><code>CONFIG_INTELHEX_BINARY</code>:
+    Make the Intel HEX binary format used with many different loaders using the GNU objcopy program
+    Should not be selected if you are not using the GNU toolchain.</li>
  <li><code>CONFIG_HAVE_LIBM</code>:
    Toolchain supports libm.a</li>
 </ul>
--- a/nuttx/Makefile
+++ b/nuttx/Makefile
@ -201,6 +201,18 @@ examples/$(CONFIG_EXAMPLE)/lib$(CONFIG_EXAMPLE)$(LIBEXT): context

 $(BIN):	context depend $(LINKLIBS)
 	@$(MAKE) -C $(ARCH_SRC) TOPDIR="$(TOPDIR)" LINKLIBS="$(LINKLIBS)" $(BIN)
+	@if [ -w /tftpboot ] ; then \
+		cp -f $(TOPDIR)/$@ /tftpboot/$@.${CONFIG_ARCH}; \
+	fi
+ifeq ($(CONFIG_RRLOAD_BINARY),y)
+	@$(TOPDIR)/tools/mkimage.sh --Prefix $(CROSSDEV) $(TOPDIR)/$@ $(TOPDIR)/$@.rr
+	@if [ -w /tftpboot ] ; then \
+		cp -f $(TOPDIR)/$@.rr /tftpboot/$@.rr.${CONFIG_ARCH}; \
+	fi
+endif
+ifeq ($(CONFIG_INTELHEX_BINARY),y)
+	@$(OBJCOPY) -O ihex $(TOPDIR)/$@ $(TOPDIR)/$@.ihx
+endif

 depend:
 	@for dir in $(MAKEDIRS) ; do \
--- a/nuttx/arch/arm/src/Makefile
+++ b/nuttx/arch/arm/src/Makefile
@ -91,12 +91,6 @@ nuttx: $(HEAD_AOBJ) board/libboard$(LIBEXT)
 		$(OBJCOPY) --adjust-section-vma=.vector=0x$$vflashstart $(TOPDIR)/$@ $(TOPDIR)/$@.flashimage; \
 		mv $(TOPDIR)/$@.flashimage $(TOPDIR)/$@; \
 	fi
-ifeq ($(CONFIG_RRLOAD_BINARY),y)
-	@$(TOPDIR)/tools/mkimage.sh --Prefix $(CROSSDEV) $(TOPDIR)/$@ $(TOPDIR)/$@.rr
-	@if [ -w /tftpboot ] ; then \
-		cp -f $(TOPDIR)/$@.rr /tftpboot/$@.rr.${CONFIG_ARCH}; \
-	fi
-endif

 .depend: Makefile chip/Make.defs $(SRCS)
 	@if [ -e board/Makefile ]; then \
--- a/nuttx/configs/README.txt
+++ b/nuttx/configs/README.txt
@ -137,7 +137,10 @@ defconfig -- This is a configuration file similar to the Linux
 	General build options

 		CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-		  BSPs from www.ridgerun.com
+		  BSPs from www.ridgerun.com using the tools/mkimage.sh script.
+		CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+		  used with many different loaders using the GNU objcopy program
+		  Should not be selected if you are not using the GNU toolchain.
 		CONFIG_HAVE_LIBM - toolchain supports libm.a

 	General OS setup
--- a/nuttx/configs/c5471evm/defconfig
+++ b/nuttx/configs/c5471evm/defconfig
@ -100,10 +100,14 @@ CONFIG_UART_MODEM_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=y
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/c5471evm/dhcpconfig
+++ b/nuttx/configs/c5471evm/dhcpconfig
@ -100,10 +100,14 @@ CONFIG_UART_MODEM_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=y
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/c5471evm/netconfig
+++ b/nuttx/configs/c5471evm/netconfig
@ -69,10 +69,14 @@ CONFIG_ARCH_STACKDUMP=y
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=y
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/c5471evm/nshconfig
+++ b/nuttx/configs/c5471evm/nshconfig
@ -100,10 +100,14 @@ CONFIG_UART_MODEM_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=y
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/ez80f910200kitg/ostest/defconfig
+++ b/nuttx/configs/ez80f910200kitg/ostest/defconfig
@ -99,10 +99,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/m68332evb/defconfig
+++ b/nuttx/configs/m68332evb/defconfig
@ -89,10 +89,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/mcu123-lpc214x/defconfig
+++ b/nuttx/configs/mcu123-lpc214x/defconfig
@ -113,10 +113,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=y
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/ntosd-dm320/nettest/defconfig
+++ b/nuttx/configs/ntosd-dm320/nettest/defconfig
@ -98,10 +98,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/ntosd-dm320/nsh/defconfig
+++ b/nuttx/configs/ntosd-dm320/nsh/defconfig
@ -98,10 +98,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/ntosd-dm320/ostest/defconfig
+++ b/nuttx/configs/ntosd-dm320/ostest/defconfig
@ -98,10 +98,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/ntosd-dm320/udp/defconfig
+++ b/nuttx/configs/ntosd-dm320/udp/defconfig
@ -98,10 +98,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/ntosd-dm320/uip/defconfig
+++ b/nuttx/configs/ntosd-dm320/uip/defconfig
@ -98,10 +98,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/pjrc-8051/defconfig
+++ b/nuttx/configs/pjrc-8051/defconfig
@ -86,10 +86,14 @@ CONFIG_LED_DEBUG=n
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/sim/mount/defconfig
+++ b/nuttx/configs/sim/mount/defconfig
@ -149,10 +149,14 @@ CONFIG_ARCH_KFREE=n
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=y

 #
--- a/nuttx/configs/sim/nettest/defconfig
+++ b/nuttx/configs/sim/nettest/defconfig
@ -149,10 +149,14 @@ CONFIG_ARCH_KFREE=n
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=y

 #
--- a/nuttx/configs/sim/nsh/defconfig
+++ b/nuttx/configs/sim/nsh/defconfig
@ -149,10 +149,14 @@ CONFIG_ARCH_KFREE=n
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=y

 #
--- a/nuttx/configs/sim/ostest/defconfig
+++ b/nuttx/configs/sim/ostest/defconfig
@ -150,10 +150,14 @@ CONFIG_ARCH_KFREE=n
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=y

 #
--- a/nuttx/configs/sim/pashello/defconfig
+++ b/nuttx/configs/sim/pashello/defconfig
@ -149,10 +149,14 @@ CONFIG_ARCH_KFREE=n
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=y

 #
--- a/nuttx/configs/xtrs/nsh/defconfig
+++ b/nuttx/configs/xtrs/nsh/defconfig
@ -68,7 +68,10 @@ CONFIG_UART_TXBUFSIZE=256
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 # CONFIG_LINKER_START_AREA		- Start of START area
@ -77,6 +80,7 @@ CONFIG_UART_TXBUFSIZE=256
 #   starting at 0000

 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 CONFIG_LINKER_START_AREA=0x5200
--- a/nuttx/configs/xtrs/ostest/defconfig
+++ b/nuttx/configs/xtrs/ostest/defconfig
@ -68,7 +68,10 @@ CONFIG_UART_TXBUFSIZE=256
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 # CONFIG_LINKER_START_AREA		- Start of START area
@ -77,6 +80,7 @@ CONFIG_UART_TXBUFSIZE=256
 #   starting at 0000

 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 CONFIG_LINKER_START_AREA=0x5200
--- a/nuttx/configs/xtrs/pashello/defconfig
+++ b/nuttx/configs/xtrs/pashello/defconfig
@ -68,7 +68,10 @@ CONFIG_UART_TXBUFSIZE=256
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 # CONFIG_LINKER_START_AREA		- Start of START area
@ -77,6 +80,7 @@ CONFIG_UART_TXBUFSIZE=256
 #   starting at 0000

 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 CONFIG_LINKER_START_AREA=0x5200
--- a/nuttx/configs/z16f2800100zcog/ostest/defconfig
+++ b/nuttx/configs/z16f2800100zcog/ostest/defconfig
@ -100,10 +100,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/z16f2800100zcog/pashello/defconfig
+++ b/nuttx/configs/z16f2800100zcog/pashello/defconfig
@ -100,10 +100,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/z80sim/nsh/defconfig
+++ b/nuttx/configs/z80sim/nsh/defconfig
@ -68,10 +68,14 @@ CONFIG_UART_TXBUFSIZE=64
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/z80sim/ostest/defconfig
+++ b/nuttx/configs/z80sim/ostest/defconfig
@ -68,10 +68,14 @@ CONFIG_UART_TXBUFSIZE=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/z80sim/pashello/defconfig
+++ b/nuttx/configs/z80sim/pashello/defconfig
@ -68,10 +68,14 @@ CONFIG_UART_TXBUFSIZE=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/z8encore000zco/ostest/defconfig
+++ b/nuttx/configs/z8encore000zco/ostest/defconfig
@ -100,10 +100,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #
--- a/nuttx/configs/z8f64200100kit/ostest/defconfig
+++ b/nuttx/configs/z8f64200100kit/ostest/defconfig
@ -100,10 +100,14 @@ CONFIG_UART1_2STOP=0
 # General build options
 #
 # CONFIG_RRLOAD_BINARY - make the rrload binary format used with
-#   BSPs from www.ridgerun.com
+#   BSPs from www.ridgerun.com using the tools/mkimage.sh script
+# CONFIG_INTELHEX_BINARY - make the Intel HEX binary format
+#   used with many different loaders using the GNU objcopy program
+#   Should not be selected if you are not using the GNU toolchain.
 # CONFIG_HAVE_LIBM - toolchain supports libm.a
 #
 CONFIG_RRLOAD_BINARY=n
+CONFIG_INTELHEX_BINARY=n
 CONFIG_HAVE_LIBM=n

 #