Add support for the Olimex LPC-H3131 board

34 files changed, 4192 insertions, 7 deletions

diff --git a/nuttx/Documentation/README.html b/nuttx/Documentation/README.html
index de8634ed8..240771459 100644
--- a/nuttx/Documentation/README.html
+++ b/nuttx/Documentation/README.html
@@ -8,7 +8,7 @@
   <tr align="center" bgcolor="#e4e4e4">
     <td>
       <h1><big><font color="#3c34ec"><i>NuttX README Files</i></font></big></h1>
-      <p>Last Updated: November 13, 2013</p>
+      <p>Last Updated: November 18, 2013</p>
     </td>
   </tr>
 </table>
@@ -133,6 +133,8 @@
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/olimex-lpc1766stk/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- olimex-lpc2378/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/olimex-lpc2378/README.txt"><b><i>README.txt</i></b></a>
+ |   |   |- olimex-lpc-h3131/
+ |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/olimex-lpc-h3131/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- olimex-stm32-p207/
  |   |   |   `- <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/olimex-stm32-p207/README.txt"><b><i>README.txt</i></b></a>
  |   |   |- olimex-strp711/
diff --git a/nuttx/README.txt b/nuttx/README.txt
index c6fdfeebe..70ddb7e4a 100644
--- a/nuttx/README.txt
+++ b/nuttx/README.txt
@@ -1061,6 +1061,8 @@ nuttx
  |   |   `- README.txt
  |   |- olimex-lpc2378/
  |   |   `- README.txt
+ |   |- olimex-lpc-h3131/
+ |   |   `- README.txt
  |   |- olimex-stm32-p207/
  |   |   `- README.txt
  |   |- olimex-strp711/
diff --git a/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c b/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c
index f5f2c5783..5b56959fe 100644
--- a/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c
+++ b/nuttx/arch/arm/src/lpc31xx/lpc31_serial.c
@@ -577,8 +577,10 @@ static int up_interrupt(int irq, void *context)
 static int up_ioctl(struct file *filep, int cmd, unsigned long arg)
 {
   struct inode      *inode = filep->f_inode;
+#ifdef CONFIG_SERIAL_TIOCSERGSTRUCT
   struct uart_dev_s *dev   = inode->i_private;
-  int                ret    = OK;
+#endif
+  int                ret   = OK;
 
   switch (cmd)
     {
diff --git a/nuttx/configs/Kconfig b/nuttx/configs/Kconfig
index 3346f5f9b..d76659a3f 100644
--- a/nuttx/configs/Kconfig
+++ b/nuttx/configs/Kconfig
@@ -372,6 +372,14 @@ config ARCH_BOARD_OLIMEXLPC2378
 		Linux or Cygwin.  STATUS: ostest and NSH configurations available.
 		This port for the NXP LPC2378 was contributed by Rommel Marcelo.
 
+config ARCH_BOARD_OLIMEX_LPC_H3131
+	bool "Olimex LPC-H3131 Development board"
+	depends on ARCH_CHIP_LPC3131
+	select ARCH_HAVE_LEDS
+	---help---
+		Olimex LPC-H3131 development board.  This board is based on the the
+		NXP LPC3131 MCU.
+
 config ARCH_BOARD_OLIMEX_STRP711
 	bool "Olimex STR-P711 board"
 	depends on ARCH_CHIP_STR71X
@@ -848,6 +856,7 @@ config ARCH_BOARD
 	default "nutiny-nuc120"       if ARCH_BOARD_NUTINY_NUC120
 	default "olimex-lpc1766stk"   if ARCH_BOARD_LPC1766STK
 	default "olimex-lpc2378"      if ARCH_BOARD_OLIMEXLPC2378
+	default "olimex-lpc-h3131"    if ARCH_BOARD_OLIMEX_LPC_H3131
 	default "olimex-stm32-p107"   if ARCH_BOARD_OLIMEX_STM32P107
 	default "olimex-stm32-p207"   if ARCH_BOARD_OLIMEX_STM32P207
 	default "olimex-strp711"      if ARCH_BOARD_OLIMEX_STRP711
@@ -1062,6 +1071,9 @@ endif
 if ARCH_BOARD_OLIMEXLPC2378
 source "configs/olimex-lpc2378/Kconfig"
 endif
+if ARCH_BOARD_OLIMEX_LPC_H3131
+source "configs/olimex-lpc-h3131/Kconfig"
+endif
 if ARCH_BOARD_OLIMEX_STM32P107
 source "configs/olimex-stm32-p107/Kconfig"
 endif
diff --git a/nuttx/configs/ea3131/nsh/setenv.sh b/nuttx/configs/ea3131/nsh/setenv.sh
index f3cacc7c4..0206c686e 100755
--- a/nuttx/configs/ea3131/nsh/setenv.sh
+++ b/nuttx/configs/ea3131/nsh/setenv.sh
@@ -58,7 +58,7 @@ export TOOLCHAIN_BIN="/cygdrive/c/Program Files (x86)/CodeSourcery/Sourcery G++
 
 # This is the path to the tools subdirectory
 
-export LPCTOOL_DIR="${WD}/configs/ea3152/tools"
+export LPCTOOL_DIR="${WD}/configs/ea3131/tools"
 
 # Add the path to the toolchain to the PATH varialble
 
diff --git a/nuttx/configs/ea3131/ostest/setenv.sh b/nuttx/configs/ea3131/ostest/setenv.sh
index 2c3453d07..2e3b315ae 100755
--- a/nuttx/configs/ea3131/ostest/setenv.sh
+++ b/nuttx/configs/ea3131/ostest/setenv.sh
@@ -58,7 +58,7 @@ export TOOLCHAIN_BIN="/cygdrive/c/Program Files (x86)/CodeSourcery/Sourcery G++
 
 # This is the path to the tools subdirectory
 
-export LPCTOOL_DIR="${WD}/configs/ea3152/tools"
+export LPCTOOL_DIR="${WD}/configs/ea3131/tools"
 
 # Add the path to the toolchain to the PATH varialble
 
diff --git a/nuttx/configs/ea3131/pgnsh/setenv.sh b/nuttx/configs/ea3131/pgnsh/setenv.sh
index adec8bc78..17afa39df 100755
--- a/nuttx/configs/ea3131/pgnsh/setenv.sh
+++ b/nuttx/configs/ea3131/pgnsh/setenv.sh
@@ -58,7 +58,7 @@ export TOOLCHAIN_BIN="/cygdrive/c/Program Files (x86)/CodeSourcery/Sourcery G++
 
 # This is the path to the tools subdirectory
 
-export LPCTOOL_DIR="${WD}/configs/ea3152/tools"
+export LPCTOOL_DIR="${WD}/configs/ea3131/tools"
 
 # Add the path to the toolchain to the PATH varialble
 
diff --git a/nuttx/configs/ea3131/usbmsc/setenv.sh b/nuttx/configs/ea3131/usbmsc/setenv.sh
index 131d28806..de7b4b213 100755
--- a/nuttx/configs/ea3131/usbmsc/setenv.sh
+++ b/nuttx/configs/ea3131/usbmsc/setenv.sh
@@ -58,7 +58,7 @@ export TOOLCHAIN_BIN="/cygdrive/c/Program Files (x86)/CodeSourcery/Sourcery G++
 
 # This is the path to the tools subdirectory
 
-export LPCTOOL_DIR="${WD}/configs/ea3152/tools"
+export LPCTOOL_DIR="${WD}/configs/ea3131/tools"
 
 # Add the path to the toolchain to the PATH varialble
 
diff --git a/nuttx/configs/ea3131/usbserial/setenv.sh b/nuttx/configs/ea3131/usbserial/setenv.sh
index 51d3d5250..01a5dde2a 100755
--- a/nuttx/configs/ea3131/usbserial/setenv.sh
+++ b/nuttx/configs/ea3131/usbserial/setenv.sh
@@ -58,7 +58,7 @@ export TOOLCHAIN_BIN="/cygdrive/c/Program Files (x86)/CodeSourcery/Sourcery G++
 
 # This is the path to the tools subdirectory
 
-export LPCTOOL_DIR="${WD}/configs/ea3152/tools"
+export LPCTOOL_DIR="${WD}/configs/ea3131/tools"
 
 # Add the path to the toolchain to the PATH varialble
 
diff --git a/nuttx/configs/olimex-lpc-h3131/Kconfig b/nuttx/configs/olimex-lpc-h3131/Kconfig
new file mode 100644
index 000000000..d48cc4bb6
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/Kconfig
@@ -0,0 +1,7 @@
+#
+# For a description of the syntax of this configuration file,
+# see misc/tools/kconfig-language.txt.
+#
+
+if ARCH_BOARD_OLIMEX_LPC_H3131
+endif
diff --git a/nuttx/configs/olimex-lpc-h3131/README.txt b/nuttx/configs/olimex-lpc-h3131/README.txt
new file mode 100644
index 000000000..d3cce7b5c
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/README.txt
@@ -0,0 +1,528 @@
+README
+======
+
+  This README file discusses the port of NuttX to the Olimex LPC-H3131 board.
+
+Contents
+========
+
+  o Development Environment
+  o GNU Toolchain Options
+  o IDEs
+  o NuttX buildroot Toolchain
+  o Boot Sequence
+  o Buttons and LEDs
+  o Image Format
+  o Image Download to ISRAM
+  o Using OpenOCD and GDB
+  o ARM/LPC-H3131-specific Configuration Options
+  o Configurations
+
+Development Environment
+=======================
+
+  Either Linux or Cygwin on Windows can be used for the development environment.
+  The source has been built only using the GNU toolchain (see below).  Other
+  toolchains will likely cause problems.
+
+GNU Toolchain Options
+=====================
+
+  The NuttX make system has been modified to support the following different
+  toolchain options.
+
+  1. The CodeSourcery GNU toolchain,
+  2. The devkitARM GNU toolchain,
+  3. Raisonance GNU toolchain,
+  4. The NuttX buildroot Toolchain (see below), or
+  5. Any generic arm-none-eabi GNU toolchain.
+
+  All testing has been conducted using the NuttX buildroot toolchain.  However,
+  the make system is setup to default to use the devkitARM toolchain.  To use
+  the CodeSourcery, devkitARM or Raisonance GNU toolchain, you simply need to
+  add one of the following configuration options to your .config (or defconfig)
+  file:
+
+    CONFIG_ARM_TOOLCHAIN_CODESOURCERYW=y  : CodeSourcery under Windows
+    CONFIG_ARM_TOOLCHAIN_CODESOURCERYL=y  : CodeSourcery under Linux
+    CONFIG_ARM_TOOLCHAIN_DEVKITARM=y      : devkitARM under Windows
+    CONFIG_ARM_TOOLCHAIN_BUILDROOT=y      : NuttX buildroot under Linux or Cygwin (default)
+    CONFIG_ARM_TOOLCHAIN_GNU_EABIL        : Generic arm-none-eabi toolchain for Linux
+    CONFIG_ARM_TOOLCHAIN_GNU_EABIW        : Generic arm-none-eabi toolchain for Windows
+
+  If you are not using CONFIG_ARM_TOOLCHAIN_BUILDROOT, then you may also have to modify
+  the PATH in the setenv.h file if your make cannot find the tools.
+
+  The toolchain may also be set using the kconfig-mconf utility (make menuconfig) or by
+  passing CONFIG_ARM_TOOLCHAIN=<toolchain> to make, where <toolchain> is one
+  of CODESOURCERYW, CODESOURCERYL, DEVKITARM, BUILDROOT or GNU_EABI as described
+  above.
+
+  NOTE: the CodeSourcery (for Windows), devkitARM, and Raisonance toolchains are
+  Windows native toolchains.  The CodeSourcey (for Linux) and NuttX buildroot
+  toolchains are Cygwin and/or Linux native toolchains. There are several limitations
+  to using a Windows based toolchain in a Cygwin environment.  The three biggest are:
+
+  1. The Windows toolchain cannot follow Cygwin paths.  Path conversions are
+     performed automatically in the Cygwin makefiles using the 'cygpath' utility
+     but you might easily find some new path problems.  If so, check out 'cygpath -w'
+
+  2. Windows toolchains cannot follow Cygwin symbolic links.  Many symbolic links
+     are used in Nuttx (e.g., include/arch).  The make system works around these
+     problems for the Windows tools by copying directories instead of linking them.
+     But this can also cause some confusion for you:  For example, you may edit
+     a file in a "linked" directory and find that your changes had no effect.
+     That is because you are building the copy of the file in the "fake" symbolic
+     directory.  If you use a Windows toolchain, you should get in the habit of
+     making like this:
+
+       make clean_context all
+
+     An alias in your .bashrc file might make that less painful.
+
+  3. Dependencies are not made when using Windows versions of the GCC.  This is
+     because the dependencies are generated using Windows pathes which do not
+     work with the Cygwin make.
+
+       MKDEP                = $(TOPDIR)/tools/mknulldeps.sh
+
+  NOTE 1: The CodeSourcery toolchain (2009q1) does not work with default optimization
+  level of -Os (See Make.defs).  It will work with -O0, -O1, or -O2, but not with
+  -Os.
+
+  NOTE 2: The devkitARM toolchain includes a version of MSYS make.  Make sure that
+  the paths to Cygwin's /bin and /usr/bin directories appear BEFORE the devkitARM
+  path or will get the wrong version of make.
+
+  Generic arm-none-eabi GNU Toolchain
+  -----------------------------------
+  There are a number of toolchain projects providing support for ARMv4/v5
+  class processors, including:
+
+    GCC ARM Embedded
+      https://launchpad.net/gcc-arm-embedded
+
+    Summon ARM Toolchain
+      https://github.com/esden/summon-arm-toolchain
+
+    Yagarto
+      http://www.yagarto.de
+
+  Others exist for various Linux distributions, MacPorts, etc.  Any version
+  based on GCC 4.6.3 or later should work.
+
+IDEs
+====
+
+  NuttX is built using command-line make.  It can be used with an IDE, but some
+  effort will be required to create the project (There is a simple RIDE project
+  in the RIDE subdirectory).
+
+  Makefile Build
+  --------------
+  Under Eclipse, it is pretty easy to set up an "empty makefile project" and
+  simply use the NuttX makefile to build the system.  That is almost for free
+  under Linux.  Under Windows, you will need to set up the "Cygwin GCC" empty
+  makefile project in order to work with Windows (Google for "Eclipse Cygwin" -
+  there is a lot of help on the internet).
+
+  Native Build
+  ------------
+  Here are a few tips before you start that effort:
+
+  1) Select the toolchain that you will be using in your .config file
+  2) Start the NuttX build at least one time from the Cygwin command line
+     before trying to create your project.  This is necessary to create
+     certain auto-generated files and directories that will be needed.
+  3) Set up include pathes:  You will need include/, arch/arm/src/lpc31xx,
+     arch/arm/src/common, arch/arm/src/arm, and sched/.
+  4) All assembly files need to have the definition option -D __ASSEMBLY__
+     on the command line.
+
+  Startup files will probably cause you some headaches.  The NuttX startup file
+  is arch/arm/src/lpc31xx/lpc31_vectors.S.  With RIDE, I have to build NuttX
+  one time from the Cygwin command line in order to obtain the pre-built
+  startup object needed by RIDE.
+
+NuttX buildroot Toolchain
+=========================
+
+  A GNU GCC-based toolchain is assumed.  The files */setenv.sh should
+  be modified to point to the correct path to the Cortex-M3 GCC toolchain (if
+  different from the default in your PATH variable).
+
+  If you have no Cortex-M3 toolchain, one can be downloaded from the NuttX
+  SourceForge download site (https://sourceforge.net/projects/nuttx/files/buildroot/).
+  This GNU toolchain builds and executes in the Linux or Cygwin environment.
+
+  1. You must have already configured Nuttx in <some-dir>/nuttx.
+
+     cd tools
+     ./configure.sh olimex-lpc-h3131/<sub-dir>
+
+  2. Download the latest buildroot package into <some-dir>
+
+  3. unpack the buildroot tarball.  The resulting directory may
+     have versioning information on it like buildroot-x.y.z.  If so,
+     rename <some-dir>/buildroot-x.y.z to <some-dir>/buildroot.
+
+  4. cd <some-dir>/buildroot
+
+  5. cp configs/arm926t-defconfig-4.2.4 .config
+
+  6. make oldconfig
+
+  7. make
+
+  8. Edit setenv.h, if necessary, so that the PATH variable includes
+     the path to the newly built binaries.
+
+  See the file configs/README.txt in the buildroot source tree.  That has more
+  detailed PLUS some special instructions that you will need to follow if you are
+  building a Cortex-M3 toolchain for Cygwin under Windows.
+
+Boot Sequence
+=============
+
+  LPC313x has on chip bootrom which loads properly formatted images from multiple
+  sources into SRAM.  These sources include including SPI Flash, NOR Flash, UART,
+  USB, SD Card, and NAND Flash.
+
+  In all configurations, NuttX is loaded directly into ISRAM.  NuttX is linked
+  to execute from ISRAM, regardless of the boot source.
+
+Buttons and LEDs
+================
+
+  Buttons
+  -------
+
+  There are not user buttons on the H3131
+
+  LEDs
+  ----
+
+  There are two LEDs on the LPC-H3131 that can be controlled by software:
+
+      LED              GPIO
+      ---------------- -----
+      LED1 Yellow      GPIO17 High output illuminates
+      LED2 Green       GPIO18 High output illuminates
+
+  Both can be illuminated by driving the GPIO output to high.
+
+  These LEDs are not used by the board port unless CONFIG_ARCH_LEDS is
+  defined.  In that case, the usage by the board port is defined in
+  include/board.h and src/lpc31_leds.c. The LEDs are used to encode
+  OS-related events as follows:
+
+    SYMBOL                Meaning                     LED state
+                                                    LED2     LED1
+    -------------------  -----------------------  -------- --------
+    LED_STARTED          NuttX has been started     OFF      OFF
+    LED_HEAPALLOCATE     Heap has been allocated    OFF      OFF
+    LED_IRQSENABLED      Interrupts enabled         OFF      OFF
+    LED_STACKCREATED     Idle stack created         ON       OFF
+    LED_INIRQ            In an interrupt            N/C      N/C
+    LED_SIGNAL           In a signal handler        N/C      N/C
+    LED_ASSERTION        An assertion failed        N/C      N/C
+    LED_PANIC            The system has crashed     N/C      Blinking
+    LED_IDLE             MCU is is sleep mode         Not used
+
+  Thus if LED2 is statically on, NuttX has successfully booted and is,
+  apparently, running normmally.  If LED1 is flashing at approximately
+  2Hz, then a fatal error has been detected and the system has halted.
+
+  NOTE: That LED2 is not used after completion of booting and may
+  be used by other board-specific logic.
+
+Image Format
+============
+
+  In order to use the bootrom bootloader, a special header must be added to the
+  beginning of the binary image that includes information about the binary (things
+  like the entry point, the size, and CRC's to verify the image.
+
+  NXP provides a Windows program to append such a header to the binary image.
+  However, (1) that program won't run under Linux, and (2) when I try it under
+  WinXP, Symantec immediately claims that the program is misbehaving and deletes
+  it!
+
+  To work around both of these issues, I have created a small program under
+  configs/olimex-lpc-h3131/tools to add the header.  This program can be built under
+  either Linux or Cygwin (and probably other tool environments as well).  That
+  tool can be built as follows:
+
+  - cd configs/olimex-lpc-h3131/tools
+  - make
+
+  Then, to build the NuttX binary ready to load with the bootloader, just
+  following these steps:
+
+  - cd tools/                     # Configure Nuttx
+  - ./configure.sh olimex-lpc-h3131/ostest  # (using the ostest configuration for this example)
+  - cd ..                         # Set up environment
+  - . ./setenv.sh                 # (see notes below)
+  - make                          # Make NuttX.  This will produce nuttx.bin
+  - mklpc.sh                      # Make the bootloader binary (nuttx.lpc)
+
+  NOTES:
+  
+    1. setenv.sh just sets up pathes to the toolchain and also to
+       configs/olimex-lpc-h3131/tools where mklpc.sh resides. Use of setenv.sh is optional.
+       If you don't use setenv.sh, then just set your PATH variable appropriately or
+       use the full path to mklpc.sh in the final step.
+    2. You can instruct Symantec to ignore the errors and it will stop quarantining
+       the NXP program.
+    3. The CRC32 logic in configs/olimex-lpc-h3131/tools doesn't seem to work.  As a result,
+       the CRC is currently disabled in the header:
+
+       RCS file: /cvsroot/nuttx/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.c,v
+       retrieving revision 1.2
+       diff -r1.2 lpchdr.c
+       264c264
+       <   g_hdr.imageType       = 0x0000000b;
+       ---
+       >   g_hdr.imageType       = 0x0000000a;
+
+Image Download to ISRAM
+=======================
+
+Assuming that you already have the FTDI driver installed*, then here is the
+are the steps that I use for loading new code into the LPC-H3131:
+
+- Create the bootloader binary, nuttx.lpc, as described above.
+- Connected the LPC-H3131 using the FTDI USB port (not the lpc3131 USB port)
+  This will power up the LPC-H3131 and start the bootloader.
+- Start a terminal emulator (such as TeraTerm) at 115200 8NI.
+- Reset the LPC-H3131 and you should see:
+  LPC31xx READY FOR PLAIN IMAGE>
+- Send the nuttx.lpc file and you should see:
+  Download finished
+
+That will load the NuttX binary into ISRAM and attempt to execute it.
+
+*See the LPC313x documentation if you do not have the FTDI driver installed.
+
+Using OpenOCD and GDB
+=====================
+  [NOTE:  As of this writing, my OpenOCD script does NOT work.  It fails
+   because it is unable to halt the LPC3131.  So, unfortunately, OpenOCD
+   is not a option right now.]
+
+  I have been using the Olimex ARM-USB-OCD JTAG debugger with the LPC-H3131
+  (http://www.olimex.com).  The OpenOCD configuration file is here:
+  tools/armusbocb.cfg.  There is also a script on the tools directory that
+  I used to start the OpenOCD daemon on my system called oocd.sh.  That
+  script would probably require some modifications to work in another
+  environment:
+  
+    - possibly the value of OPENOCD_PATH
+    - If you are working under Linux you will need to change any
+      occurances of `cygpath -w blablabla` to just blablabla
+
+  Then you should be able to start the OpenOCD daemon like:
+
+    configs/olimex-lpc-h3131/tools/oocd.sh $PWD
+
+  Where it is assumed that you are executing oocd.sh from the top level
+  directory where NuttX is installed.
+
+  Once the OpenOCD daemon has been started, you can connect to it via
+  GDB using the following GDB command:
+
+   arm-nuttx-elf-gdb
+   (gdb) target remote localhost:3333
+
+  And you can load the NuttX ELF file:
+
+   (gdb) symbol-file nuttx
+   (gdb) load nuttx
+
+ARM/LPC-H3131-specific Configuration Options
+============================================
+
+    CONFIG_ARCH - Identifies the arch/ subdirectory.  This should
+       be set to:
+
+       CONFIG_ARCH=arm
+
+    CONFIG_ARCH_family - For use in C code:
+
+       CONFIG_ARCH_ARM=y
+
+    CONFIG_ARCH_architecture - For use in C code:
+
+       CONFIG_ARCH_ARM926EJS=y
+
+    CONFIG_ARCH_CHIP - Identifies the arch/*/chip subdirectory
+
+       CONFIG_ARCH_CHIP=lpc313x
+
+    CONFIG_ARCH_CHIP_name - For use in C code
+
+       CONFIG_ARCH_CHIP_LPC3131
+
+    CONFIG_ARCH_BOARD - Identifies the configs subdirectory and
+       hence, the board that supports the particular chip or SoC.
+
+       CONFIG_ARCH_BOARD="olimex-lpc-h3131"
+
+    CONFIG_ARCH_BOARD_name - For use in C code
+
+       CONFIG_ARCH_BOARD_OLIMEX_LPC_H3131
+
+    CONFIG_ARCH_LOOPSPERMSEC - Must be calibrated for correct operation
+       of delay loops
+
+    CONFIG_ENDIAN_BIG - define if big endian (default is little
+       endian)
+
+    CONFIG_RAM_SIZE - For most ARM9 architectures, this describes the
+      size of installed DRAM.  For the LPC313X, it is used only to
+      deterimine how to map the executable regions.  It is SDRAM size
+      only if you are executing out of the external SDRAM; or it could
+      be NOR FLASH size, external SRAM size, or internal SRAM size.
+
+    CONFIG_RAM_START - The start address of installed DRAM (physical)
+
+    CONFIG_RAM_VSTART - The startaddress of DRAM (virtual)
+
+    CONFIG_ARCH_LEDS - Use LEDs to show state. Unique to boards that
+       have LEDs
+
+    CONFIG_ARCH_IRQPRIO - The LPC313x supports interrupt prioritization
+
+    CONFIG_ARCH_INTERRUPTSTACK - This architecture supports an interrupt
+       stack. If defined, this symbol is the size of the interrupt
+       stack in bytes.  If not defined, the user task stacks will be
+      used during interrupt handling.
+
+    CONFIG_ARCH_STACKDUMP - Do stack dumps after assertions
+
+    CONFIG_ARCH_BOOTLOADER - Set if you are using a bootloader.
+
+    CONFIG_ARCH_LEDS -  Use LEDs to show state. Unique to board architecture.
+
+    CONFIG_ARCH_BUTTONS -  Enable support for buttons. Unique to board architecture.
+
+    CONFIG_ARCH_CALIBRATION - Enables some build in instrumentation that
+       cause a 100 second delay during boot-up.  This 100 second delay
+       serves no purpose other than it allows you to calibratre
+       CONFIG_ARCH_LOOPSPERMSEC.  You simply use a stop watch to measure
+       the 100 second delay then adjust CONFIG_ARCH_LOOPSPERMSEC until
+       the delay actually is 100 seconds.
+    CONFIG_ARCH_DMA - Support DMA initialization
+    CONFIG_ARCH_LOWVECTORS - define if vectors reside at address 0x0000:00000
+      Undefine if vectors reside at address 0xffff:0000
+    CONFIG_ARCH_ROMPGTABLE - A pre-initialized, read-only page table is available.
+      If defined, then board-specific logic must also define PGTABLE_BASE_PADDR,
+      PGTABLE_BASE_VADDR, and all memory section mapping in a file named
+      board_memorymap.h.
+
+  Individual subsystems can be enabled:
+
+    CONFIG_LPC31_MCI, CONFIG_LPC31_SPI, CONFIG_LPC31_UART
+
+  External memory available on the board (see also CONFIG_MM_REGIONS)
+
+    CONFIG_LPC31_EXTSRAM0 - Select if external SRAM0 is present
+    CONFIG_LPC31_EXTSRAM0HEAP - Select if external SRAM0 should be
+      configured as part of the NuttX heap.
+    CONFIG_LPC31_EXTSRAM0SIZE - Size (in bytes) of the installed
+      external SRAM0 memory
+    CONFIG_LPC31_EXTSRAM1 - Select if external SRAM1 is present
+    CONFIG_LPC31_EXTSRAM1HEAP - Select if external SRAM1 should be
+      configured as part of the NuttX heap.
+    CONFIG_LPC31_EXTSRAM1SIZE - Size (in bytes) of the installed
+      external SRAM1 memory
+    CONFIG_LPC31_EXTDRAM - Select if external SDRAM is present
+    CONFIG_LPC31_EXTDRAMHEAP - Select if external SDRAM should be
+      configured as part of the NuttX heap.
+    CONFIG_LPC31_EXTDRAMSIZE - Size (in bytes) of the installed
+      external SDRAM memory
+    CONFIG_LPC31_EXTNAND - Select if external NAND is present
+    CONFIG_LPC31_EXTNANDSIZE - Size (in bytes) of the installed
+      external NAND memory
+
+  LPC313X specific device driver settings
+
+    CONFIG_UART_SERIAL_CONSOLE - selects the UART for the
+      console and ttys0
+    CONFIG_UART_RXBUFSIZE - Characters are buffered as received.
+      This specific the size of the receive buffer
+    CONFIG_UART_TXBUFSIZE - Characters are buffered before
+      being sent.  This specific the size of the transmit buffer
+    CONFIG_UART_BAUD - The configure BAUD of the UART.  Must be
+    CONFIG_UART_BITS - The number of bits.  Must be either 7 or 8.
+    CONFIG_UART_PARTIY - 0=no parity, 1=odd parity, 2=even parity
+    CONFIG_UART_2STOP - Two stop bits
+
+Configurations
+==============
+
+Configurations
+==============
+
+  Information Common to All Configurations
+  ----------------------------------------
+  Each LPC-H3131 configuration is maintained in a sub-directory and can be
+  selected as follow:
+
+    cd tools
+    ./configure.sh olimex-lpc-h3131/<subdir>
+    cd -
+    . ./setenv.sh
+
+  Before sourcing the setenv.sh file above, you should examine it and perform
+  edits as necessary so that TOOLCHAIN_BIN is the correct path to the directory
+  than holds your toolchain binaries.
+
+  And then build NuttX by simply typing the following.  At the conclusion of
+  the make, the nuttx binary will reside in an ELF file called, simply, nuttx.
+
+    make
+
+  The <subdir> that is provided above as an argument to the tools/configure.sh
+  must be is one of the following.
+
+  NOTES:
+
+  1. These configurations use the mconf-based configuration tool.  To
+    change any of these configurations using that tool, you should:
+
+    a. Build and install the kconfig-mconf tool.  See nuttx/README.txt
+       and misc/tools/
+
+    b. Execute 'make menuconfig' in nuttx/ in order to start the
+       reconfiguration process.
+
+  2. Unless stated otherwise, all configurations generate console
+     output on the UART0 associated with the FT232RL USB-to UART
+     converter.
+
+  3. Unless otherwise stated, the configurations are setup for
+     Windows undery Cygwin.  This can, however, be easilty reconfigured.
+
+  4. All of these configurations use the Code Sourcery for Windows toolchain
+     (unless stated otherwise in the description of the configuration).  That
+     toolchain selection can easily be reconfigured using 'make menuconfig'.
+     Here are the relevant current settings:
+
+     Build Setup:
+       CONFIG_HOST_WINDOS=y                : Microsoft Windows
+       CONFIG_WINDOWS_CYGWIN=y             : Using Cygwin or other POSIX environment
+
+     System Type -> Toolchain:
+       CONFIG_ARM_TOOLCHAIN_GNU_EABIW=y : GNU EABI toolchain for windows
+
+     The setenv.sh file is available for you to use to set the PATH
+     variable.  The path in the that file may not, however, be correct
+     for your installation.
+
+  Configuration sub-directories
+  -----------------------------
+
+  nsh:
+    Configures the NuttShell (nsh) located at examples/nsh.  The
+    Configuration enables only the serial NSH interface.
diff --git a/nuttx/configs/olimex-lpc-h3131/include/board.h b/nuttx/configs/olimex-lpc-h3131/include/board.h
new file mode 100644
index 000000000..e2181dc1b
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/include/board.h
@@ -0,0 +1,166 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/include/board.h
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+#ifndef __CONFIGS_OLIMEX_LPC_H3131_INCLUDE_BOARD_H
+#define __CONFIGS_OLIMEX_LPC_H3131_INCLUDE_BOARD_H
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <nuttx/config.h>
+#ifndef __ASSEMBLY__
+# include <stdint.h>
+# include "lpc31_cgudrvr.h"
+#endif
+
+/************************************************************************************
+ * Definitions
+ ************************************************************************************/
+
+/* Clocking *************************************************************************/
+/* Frequency of the FFAST input */
+
+#define BOARD_FREQIN_FFAST     (12000000) /* ffast (12 MHz crystal) */
+
+/* HPLL0 configuration */
+
+#define BOARD_HPLL0_FINSEL CGU_HPFINSEL_FFAST /* Frequency input selection */
+#define BOARD_HPLL0_NDEC   131                /* PLL N-divider value */
+#define BOARD_HPLL0_MDEC   29784              /* PLL M-divider value */
+#define BOARD_HPLL0_PDEC   7                  /* PLL P-divider value */
+#define BOARD_HPLL0_SELR   0                  /* SELR bandwidth selection */
+#define BOARD_HPLL0_SELI   8                  /* SELI bandwidth selection */
+#define BOARD_HPLL0_SELP   31                 /* SELP bandwidth selection */
+#define BOARD_HPLL0_MODE   0                  /* PLL mode */
+#define BOARD_HPLL0_FREQ   406425600          /* Frequency of the PLL in MHz */ 
+
+/* HPLL1 configuration */
+
+#define BOARD_HPLL1_FINSEL CGU_HPFINSEL_FFAST /* Frequency input selection */
+#define BOARD_HPLL1_NDEC   770                /* PLL N-divider value */
+#define BOARD_HPLL1_MDEC   8191               /* PLL M-divider value */
+#define BOARD_HPLL1_PDEC   98                 /* PLL P-divider value */
+#define BOARD_HPLL1_SELR   0                  /* SELR bandwidth selection */
+#define BOARD_HPLL1_SELI   16                 /* SELI bandwidth selection */
+#define BOARD_HPLL1_SELP   8                  /* SELP bandwidth selection */
+#define BOARD_HPLL1_MODE   0                  /* PLL mode */
+#define BOARD_HPLL1_FREQ  180000000           /* Frequency of the PLL in MHz */ 
+
+/* The following 3 bitsets determine which clocks will be enabled at initialization
+ * time.
+ */
+ 
+#define BOARD_CLKS_0_31 \
+ (_RBIT(CLKID_APB0CLK,0)|_RBIT(CLKID_APB1CLK,0)|_RBIT(CLKID_APB2CLK,0)|\
+  _RBIT(CLKID_APB3CLK,0)|_RBIT(CLKID_APB4CLK,0)|_RBIT(CLKID_AHB2INTCCLK,0)|\
+  _RBIT(CLKID_AHB0CLK,0)|_RBIT(CLKID_ARM926CORECLK,0)|_RBIT(CLKID_ARM926BUSIFCLK,0)|\
+  _RBIT(CLKID_ARM926RETIMECLK,0)|_RBIT(CLKID_ISRAM0CLK,0)|_RBIT(CLKID_ISRAM1CLK,0)|\
+  _RBIT(CLKID_ISROMCLK,0)|_RBIT(CLKID_INTCCLK,0)|_RBIT(CLKID_AHB2APB0PCLK,0)|\
+  _RBIT(CLKID_EVENTROUTERPCLK,0)|_RBIT(CLKID_CLOCKOUT,0))
+
+#define BOARD_CLKS_32_63 \
+ (_RBIT(CLKID_IOCONFPCLK,32)|_RBIT(CLKID_CGUPCLK,32)|_RBIT(CLKID_SYSCREGPCLK,32)|\
+  _RBIT(CLKID_OTPPCLK,32)|_RBIT(CLKID_AHB2APB1PCLK,32)|_RBIT(CLKID_AHB2APB2PCLK,32)|\
+  _RBIT(CLKID_AHB2APB3PCLK,32)|_RBIT(CLKID_EDGEDETPCLK,32))
+
+#define BOARD_CLKS_64_92 \
+ (0)
+
+/* LED definitions ******************************************************************/
+
+#define LED_STARTED       0
+#define LED_HEAPALLOCATE  1
+#define LED_IRQSENABLED   2
+#define LED_STACKCREATED  3
+#define LED_INIRQ         4
+#define LED_SIGNAL        5
+#define LED_ASSERTION     6
+#define LED_PANIC         7
+
+/* Button definitions ***************************************************************/
+
+/************************************************************************************
+ * Public Data
+ ************************************************************************************/
+
+#ifndef __ASSEMBLY__
+
+#undef EXTERN
+#if defined(__cplusplus)
+#define EXTERN extern "C"
+extern "C" {
+#else
+#define EXTERN extern
+#endif
+
+/************************************************************************************
+ * Public Function Prototypes
+ ************************************************************************************/
+/************************************************************************************
+ * Name: lpc31_boardinitialize
+ *
+ * Description:
+ *   All LPC31XX architectures must provide the following entry point.  This entry
+ *   point is called early in the intitialization -- after all memory has been
+ *   configured and mapped but before any devices have been initialized.
+ *
+ ************************************************************************************/
+
+void lpc31_boardinitialize(void);
+
+/************************************************************************************
+ * Button support.
+ *
+ * Description:
+ *   up_buttoninit() must be called to initialize button resources.  After that,
+ *   up_buttons() may be called to collect the state of all buttons.  up_buttons()
+ *   returns an 8-bit bit set with each bit associated with a button.  See the
+ *   BUTTON_* definitions above for the meaning of each bit.
+ *
+ ************************************************************************************/
+
+#ifdef CONFIG_ARCH_BUTTONS
+void up_buttoninit(void);
+uint8_t up_buttons(void);
+#endif
+
+#undef EXTERN
+#if defined(__cplusplus)
+}
+#endif
+
+#endif /* __ASSEMBLY__ */
+#endif  /* __CONFIGS_OLIMEX_LPC_H3131_INCLUDE_BOARD_H */
diff --git a/nuttx/configs/olimex-lpc-h3131/include/board_memorymap.h b/nuttx/configs/olimex-lpc-h3131/include/board_memorymap.h
new file mode 100644
index 000000000..24ecee7a9
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/include/board_memorymap.h
@@ -0,0 +1,116 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/include/board_memorymap.h
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+#ifndef __CONFIGS_OLIMEX_LPC_H3131_INCLUDE_BOARD_MEMORYMAP_H
+#define __CONFIGS_OLIMEX_LPC_H3131_INCLUDE_BOARD_MEMORYMAP_H
+
+/* This file should never be included directly, but only indirectly via
+ * lpc31_memorymap.h.
+ */
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <nuttx/config.h>
+
+/************************************************************************************
+ * Definitions
+ ************************************************************************************/
+
+/* If the LPC31xx ROM page table is selected, then the board-logic is required
+ * to provide:
+ *
+ *   PGTABLE_BASE_PADDR - The physical address of the page table in ROM,
+ *   PGTABLE_BASE_VADDR - The mapped address of the page table in ROM, and
+ *   Mappings for each of the PSECTIONS in lpc31_memorymap.h
+ */
+ 
+#ifdef CONFIG_ARCH_ROMPGTABLE
+   /* The LPC31xx ROM page table uses a 1-1 physical to virtual memory mapping */
+
+#  define LPC31_SHADOWSPACE_VSECTION 0x00000000 /* 0x00000000-0x00000fff: Shadow Area 4Kb */
+#  define LPC31_INTSRAM_VSECTION     0x11028000 /*                        Internal SRAM 96Kb-192Kb */
+#    define LPC31_INTSRAM0_VADDR     0x11028000 /* 0x11028000-0x1103ffff: Internal SRAM 0 96Kb */
+#    define LPC31_INTSRAM1_VADDR     0x11040000 /* 0x11040000-0x11057fff: Internal SRAM 1 96Kb */
+#  define LPC31_INTSROM0_VSECTION    0x12000000 /* 0x12000000-0x1201ffff: Internal SROM 0 128Kb */
+#  define LPC31_APB01_VSECTION       0x13000000 /* 0x13000000-0x1300bfff: APB0 32Kb  APB1 16Kb*/
+#    define LPC31_APB0_VADDR         0x13000000 /* 0x13000000-0x13007fff: APB0 32Kb */
+#    define LPC31_APB1_VADDR         0x13008000 /* 0x13008000-0x1300bfff: APB1 16Kb */
+#  define LPC31_APB2_VSECTION        0x15000000 /* 0x15000000-0x15003fff: APB2 16Kb */
+#  define LPC31_APB3_VSECTION        0x16000000 /* 0x16000000-0x160003ff: APB3 1Kb */
+#  define LPC31_APB4MPMC_VSECTION    0x17000000 /*                        8Kb */
+#    define LPC31_APB4_VADDR         0x17000000 /* 0x17000000-0x17000fff: APB4 4Kb */
+#    define LPC31_MPMC_VADDR         0x17008000 /* 0x17008000-0x17008fff: MPMC cfg 4Kb */
+#  define LPC31_MCI_VSECTION         0x18000000 /* 0x18000000 0x180003ff: MCI/SD/SDIO 1Kb */
+#  define LPC31_USBOTG_VSECTION      0x19000000 /* 0x19000000-0x19000fff: USB OTG 4Kb */
+#  define LPC31_EXTSRAM_VSECTION     0x20020000 /*                        64-128Kb */
+#    define LPC31_EXTSRAM0_VADDR     0x20000000 /* 0x20000000-0x2001ffff: External SRAM 0 64-128Kb */
+#    define LPC31_EXTSRAM1_VADDR     0x20020000 /* 0x20020000-0x2003ffff: External SRAM 1 64-128Kb */
+#  define LPC31_EXTSDRAM0_VSECTION   0x30000000 /* 0x30000000-0x37ffffff: External SDRAM 0 128Mb */
+#  define LPC31_INTC_VSECTION        0x60000000 /* 0x60000000-0x60000fff: Interrupt controller 4Kb */
+#  define LPC31_NAND_VSECTION        0x70000000 /* 0x70000000-0x700007ff: NANDFLASH Ctrl 2Kb */
+
+   /* Define the address of the page table within the ROM */
+
+#  define ROMPGTABLE_OFFSET          0x0001c000  /* Offset of the ROM page table in ROM */
+#  define PGTABLE_BASE_PADDR         (LPC31_INTSROM0_PSECTION+ROMPGTABLE_OFFSET)
+#  define PGTABLE_BASE_VADDR         (LPC31_INTSROM0_VSECTION+ROMPGTABLE_OFFSET)
+#endif
+
+/************************************************************************************
+ * Public Data
+ ************************************************************************************/
+
+#ifndef __ASSEMBLY__
+
+#undef EXTERN
+#if defined(__cplusplus)
+#define EXTERN extern "C"
+extern "C" {
+#else
+#define EXTERN extern
+#endif
+
+/************************************************************************************
+ * Public Function Prototypes
+ ************************************************************************************/
+#undef EXTERN
+#if defined(__cplusplus)
+}
+#endif
+
+#endif /* __ASSEMBLY__ */
+#endif  /* __CONFIGS_OLIMEX_LPC_H3131_INCLUDE_BOARD_MEMORYMAP_H */
diff --git a/nuttx/configs/olimex-lpc-h3131/nsh/Make.defs b/nuttx/configs/olimex-lpc-h3131/nsh/Make.defs
new file mode 100644
index 000000000..35ec5382e
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/nsh/Make.defs
@@ -0,0 +1,112 @@
+############################################################################
+# configs/olimex-lpc-h3131/nsh/Make.defs
+#
+#   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+#   Author: Gregory Nutt <gnutt@nuttx.org>
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+#
+# 1. Redistributions of source code must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+# 2. Redistributions in binary form must reproduce the above copyright
+#    notice, this list of conditions and the following disclaimer in
+#    the documentation and/or other materials provided with the
+#    distribution.
+# 3. Neither the name NuttX nor the names of its contributors may be
+#    used to endorse or promote products derived from this software
+#    without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+#
+############################################################################
+
+include ${TOPDIR}/.config
+include ${TOPDIR}/tools/Config.mk
+include ${TOPDIR}/arch/arm/src/arm/Toolchain.defs
+
+ifeq ($(WINTOOL),y)
+  # Windows-native toolchains
+  DIRLINK = $(TOPDIR)/tools/copydir.sh
+  DIRUNLINK = $(TOPDIR)/tools/unlink.sh
+  MKDEP = $(TOPDIR)/tools/mknulldeps.sh
+  ARCHINCLUDES = -I. -isystem "${shell cygpath -w $(TOPDIR)/include}"
+  ARCHXXINCLUDES = -I. -isystem "${shell cygpath -w $(TOPDIR)/include}" -isystem "${shell cygpath -w $(TOPDIR)/include/cxx}"
+  ARCHSCRIPT = -T "${shell cygpath -w $(TOPDIR)/configs/$(CONFIG_ARCH_BOARD)/scripts/ld.script}"
+else
+  # Linux/Cygwin-native toolchain 
+  MKDEP = $(TOPDIR)/tools/mkdeps.sh
+  ARCHINCLUDES = -I. -isystem $(TOPDIR)/include
+  ARCHXXINCLUDES = -I. -isystem $(TOPDIR)/include -isystem $(TOPDIR)/include/cxx
+  ARCHSCRIPT = -T$(TOPDIR)/configs/$(CONFIG_ARCH_BOARD)/scripts/ld.script
+endif
+
+CC = $(CROSSDEV)gcc
+CXX = $(CROSSDEV)g++
+CPP = $(CROSSDEV)gcc -E
+LD = $(CROSSDEV)ld
+AR = $(CROSSDEV)ar rcs
+NM = $(CROSSDEV)nm
+OBJCOPY = $(CROSSDEV)objcopy
+OBJDUMP = $(CROSSDEV)objdump
+
+ARCHCCVERSION = ${shell $(CC) -v 2>&1 | sed -n '/^gcc version/p' | sed -e 's/^gcc version \([0-9\.]\)/\1/g' -e 's/[-\ ].*//g' -e '1q'}
+ARCHCCMAJOR = ${shell echo $(ARCHCCVERSION) | cut -d'.' -f1}
+
+ifeq ($(CONFIG_DEBUG_SYMBOLS),y)
+  ARCHOPTIMIZATION = -g
+else
+  ARCHOPTIMIZATION = $(MAXOPTIMIZATION) -fno-strict-aliasing -fno-strength-reduce -fomit-frame-pointer
+endif
+
+ifeq ($(ARCHCCMAJOR),4)
+  ARCHCPUFLAGS = -mtune=arm9tdmi -march=armv5te -mfloat-abi=soft -fno-builtin
+else
+  ARCHCPUFLAGS = -mapcs-32 -mtune=arm9tdmi -march=armv5te -msoft-float -fno-builtin
+endif
+
+ARCHCFLAGS = -fno-builtin
+ARCHCXXFLAGS = -fno-builtin -fno-exceptions
+ARCHWARNINGS = -Wall -Wstrict-prototypes -Wshadow
+ARCHWARNINGSXX = -Wall -Wshadow
+ARCHDEFINES =
+ARCHPICFLAGS = -fpic -msingle-pic-base -mpic-register=r10
+
+CFLAGS = $(ARCHCFLAGS) $(ARCHWARNINGS) $(ARCHOPTIMIZATION) $(ARCHCPUFLAGS) $(ARCHINCLUDES) $(ARCHDEFINES) $(EXTRADEFINES) -pipe
+CPICFLAGS = $(ARCHPICFLAGS) $(CFLAGS)
+CXXFLAGS = $(ARCHCXXFLAGS) $(ARCHWARNINGSXX) $(ARCHOPTIMIZATION) $(ARCHCPUFLAGS) $(ARCHXXINCLUDES) $(ARCHDEFINES) $(EXTRADEFINES) -pipe
+CXXPICFLAGS = $(ARCHPICFLAGS) $(CXXFLAGS)
+CPPFLAGS = $(ARCHINCLUDES) $(ARCHDEFINES) $(EXTRADEFINES)
+AFLAGS = $(CFLAGS) -D__ASSEMBLY__
+
+NXFLATLDFLAGS1 = -r -d -warn-common
+NXFLATLDFLAGS2 = $(NXFLATLDFLAGS1) -T$(TOPDIR)/binfmt/libnxflat/gnu-nxflat-gotoff.ld -no-check-sections
+LDNXFLATFLAGS = -e main -s 2048
+
+OBJEXT = .o
+LIBEXT = .a
+EXEEXT =
+
+ifneq ($(CONFIG_ARM_TOOLCHAIN),BUILDROOT)
+  LDFLAGS += -nostartfiles -nodefaultlibs
+endif
+ifeq ($(CONFIG_DEBUG_SYMBOLS),y)
+  LDFLAGS += -g
+endif
+
+HOSTCC = gcc
+HOSTINCLUDES = -I.
+HOSTCFLAGS = -Wall -Wstrict-prototypes -Wshadow -g -pipe
+HOSTLDFLAGS =
diff --git a/nuttx/configs/olimex-lpc-h3131/nsh/defconfig b/nuttx/configs/olimex-lpc-h3131/nsh/defconfig
new file mode 100644
index 000000000..bf800748d
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/nsh/defconfig
@@ -0,0 +1,703 @@
+#
+# Automatically generated file; DO NOT EDIT.
+# Nuttx/ Configuration
+#
+CONFIG_NUTTX_NEWCONFIG=y
+
+#
+# Build Setup
+#
+# CONFIG_EXPERIMENTAL is not set
+# CONFIG_HOST_LINUX is not set
+# CONFIG_HOST_OSX is not set
+CONFIG_HOST_WINDOWS=y
+# CONFIG_HOST_OTHER is not set
+# CONFIG_WINDOWS_NATIVE is not set
+CONFIG_WINDOWS_CYGWIN=y
+# CONFIG_WINDOWS_MSYS is not set
+# CONFIG_WINDOWS_OTHER is not set
+
+#
+# Build Configuration
+#
+# CONFIG_APPS_DIR="../apps"
+# CONFIG_BUILD_2PASS is not set
+
+#
+# Binary Output Formats
+#
+# CONFIG_RRLOAD_BINARY is not set
+# CONFIG_INTELHEX_BINARY is not set
+# CONFIG_MOTOROLA_SREC is not set
+CONFIG_RAW_BINARY=y
+
+#
+# Customize Header Files
+#
+# CONFIG_ARCH_STDBOOL_H is not set
+# CONFIG_ARCH_MATH_H is not set
+# CONFIG_ARCH_FLOAT_H is not set
+# CONFIG_ARCH_STDARG_H is not set
+
+#
+# Debug Options
+#
+# CONFIG_DEBUG is not set
+CONFIG_ARCH_HAVE_STACKCHECK=y
+# CONFIG_ARCH_HAVE_HEAPCHECK is not set
+# CONFIG_DEBUG_SYMBOLS is not set
+
+#
+# System Type
+#
+# CONFIG_ARCH_8051 is not set
+CONFIG_ARCH_ARM=y
+# CONFIG_ARCH_AVR is not set
+# CONFIG_ARCH_HC is not set
+# CONFIG_ARCH_MIPS is not set
+# CONFIG_ARCH_RGMP is not set
+# CONFIG_ARCH_SH is not set
+# CONFIG_ARCH_SIM is not set
+# CONFIG_ARCH_X86 is not set
+# CONFIG_ARCH_Z16 is not set
+# CONFIG_ARCH_Z80 is not set
+CONFIG_ARCH="arm"
+
+#
+# ARM Options
+#
+# CONFIG_ARCH_CHIP_C5471 is not set
+# CONFIG_ARCH_CHIP_CALYPSO is not set
+# CONFIG_ARCH_CHIP_DM320 is not set
+# CONFIG_ARCH_CHIP_IMX is not set
+# CONFIG_ARCH_CHIP_KINETIS is not set
+# CONFIG_ARCH_CHIP_KL is not set
+# CONFIG_ARCH_CHIP_LM is not set
+# CONFIG_ARCH_CHIP_LPC17XX is not set
+# CONFIG_ARCH_CHIP_LPC214X is not set
+# CONFIG_ARCH_CHIP_LPC2378 is not set
+CONFIG_ARCH_CHIP_LPC31XX=y
+# CONFIG_ARCH_CHIP_LPC43XX is not set
+# CONFIG_ARCH_CHIP_NUC1XX is not set
+# CONFIG_ARCH_CHIP_SAMA5 is not set
+# CONFIG_ARCH_CHIP_SAM34 is not set
+# CONFIG_ARCH_CHIP_STM32 is not set
+# CONFIG_ARCH_CHIP_STR71X is not set
+# CONFIG_ARCH_ARM7TDMI is not set
+CONFIG_ARCH_ARM926EJS=y
+# CONFIG_ARCH_ARM920T is not set
+# CONFIG_ARCH_CORTEXM0 is not set
+# CONFIG_ARCH_CORTEXM3 is not set
+# CONFIG_ARCH_CORTEXM4 is not set
+# CONFIG_ARCH_CORTEXA5 is not set
+# CONFIG_ARCH_CORTEXA8 is not set
+CONFIG_ARCH_FAMILY="arm"
+CONFIG_ARCH_CHIP="lpc31xx"
+# CONFIG_ARCH_HAVE_FPU is not set
+# CONFIG_ARCH_HAVE_MPU is not set
+CONFIG_ARCH_HAVE_LOWVECTORS=y
+CONFIG_ARCH_LOWVECTORS=y
+CONFIG_PGTABLE_VADDR=0x0
+CONFIG_ARCH_ROMPGTABLE=y
+
+#
+# ARM Configuration Options
+#
+# CONFIG_ARM_TOOLCHAIN_BUILDROOT is not set
+CONFIG_ARM_TOOLCHAIN_CODESOURCERYW=y
+# CONFIG_ARM_TOOLCHAIN_DEVKITARM is not set
+# CONFIG_ARM_TOOLCHAIN_GNU_EABIL is not set
+# CONFIG_ARM_TOOLCHAIN_GNU_EABIW is not set
+# CONFIG_ARM_TOOLCHAIN_GNU_OABI is not set
+CONFIG_ARCH_HAVE_EXTNAND=y
+CONFIG_ARCH_HAVE_EXTDRAM=y
+CONFIG_ARCH_HAVE_EXTSRAM0=y
+
+#
+# LPC31xx Configuration Options
+#
+# CONFIG_ARCH_CHIP_LPC3130 is not set
+CONFIG_ARCH_CHIP_LPC3131=y
+# CONFIG_ARCH_CHIP_LPC3152 is not set
+# CONFIG_ARCH_CHIP_LPC3154 is not set
+
+#
+# LPC31xx Peripheral Support
+#
+CONFIG_LPC31_UART=y
+# CONFIG_LPC31_SPI is not set
+# CONFIG_LPC31_USBOTG is not set
+# CONFIG_LPC31_MCI is not set
+
+#
+# External Memory Configuration
+#
+CONFIG_ARCH_HAVE_EXTSRAM1=y
+# CONFIG_LPC31_EXTNAND is not set
+# CONFIG_LPC31_EXTDRAM is not set
+# CONFIG_LPC31_EXTSRAM0 is not set
+# CONFIG_LPC31_EXTSRAM1 is not set
+
+#
+# LPC31xx UART Configuration
+#
+# CONFIG_LPC31_UART_PRECALCULATED is not set
+
+#
+# SPI device driver options
+#
+
+#
+# Architecture Options
+#
+# CONFIG_ARCH_NOINTC is not set
+# CONFIG_ARCH_VECNOTIRQ is not set
+# CONFIG_ARCH_DMA is not set
+# CONFIG_ARCH_IRQPRIO is not set
+# CONFIG_CUSTOM_STACK is not set
+# CONFIG_ADDRENV is not set
+CONFIG_ARCH_HAVE_VFORK=y
+CONFIG_ARCH_HAVE_MMU=y
+CONFIG_ARCH_STACKDUMP=y
+# CONFIG_ENDIAN_BIG is not set
+# CONFIG_ARCH_HAVE_RAMFUNCS is not set
+# CONFIG_ARCH_HAVE_RAMVECTORS is not set
+
+#
+# Board Settings
+#
+CONFIG_BOARD_LOOPSPERMSEC=16945
+# CONFIG_ARCH_CALIBRATION is not set
+CONFIG_ARCH_HAVE_INTERRUPTSTACK=y
+CONFIG_ARCH_INTERRUPTSTACK=0
+
+#
+# Boot options
+#
+# CONFIG_BOOT_RUNFROMEXTSRAM is not set
+# CONFIG_BOOT_RUNFROMFLASH is not set
+CONFIG_BOOT_RUNFROMISRAM=y
+# CONFIG_BOOT_RUNFROMSDRAM is not set
+# CONFIG_BOOT_COPYTORAM is not set
+
+#
+# Boot Memory Configuration
+#
+CONFIG_RAM_START=0x11028000
+CONFIG_RAM_VSTART=0x11028000
+CONFIG_RAM_SIZE=196608
+
+#
+# Board Selection
+#
+# CONFIG_ARCH_BOARD_EA3131 is not set
+CONFIG_ARCH_BOARD_OLIMEX_LPC_H3131=y
+# CONFIG_ARCH_BOARD_CUSTOM is not set
+CONFIG_ARCH_BOARD="olimex-lpc-h3131"
+
+#
+# Common Board Options
+#
+CONFIG_ARCH_HAVE_LEDS=y
+CONFIG_ARCH_LEDS=y
+CONFIG_NSH_MMCSDMINOR=0
+
+#
+# Board-Specific Options
+#
+
+#
+# RTOS Features
+#
+# CONFIG_BOARD_INITIALIZE is not set
+CONFIG_MSEC_PER_TICK=10
+CONFIG_RR_INTERVAL=200
+# CONFIG_SCHED_INSTRUMENTATION is not set
+CONFIG_TASK_NAME_SIZE=0
+# CONFIG_SCHED_HAVE_PARENT is not set
+# CONFIG_JULIAN_TIME is not set
+CONFIG_START_YEAR=2010
+CONFIG_START_MONTH=3
+CONFIG_START_DAY=15
+CONFIG_DEV_CONSOLE=y
+# CONFIG_MUTEX_TYPES is not set
+# CONFIG_PRIORITY_INHERITANCE is not set
+# CONFIG_FDCLONE_DISABLE is not set
+# CONFIG_FDCLONE_STDIO is not set
+CONFIG_SDCLONE_DISABLE=y
+# CONFIG_SCHED_WAITPID is not set
+# CONFIG_SCHED_STARTHOOK is not set
+# CONFIG_SCHED_ATEXIT is not set
+# CONFIG_SCHED_ONEXIT is not set
+CONFIG_USER_ENTRYPOINT="nsh_main"
+CONFIG_DISABLE_OS_API=y
+# CONFIG_DISABLE_CLOCK is not set
+# CONFIG_DISABLE_POSIX_TIMERS is not set
+# CONFIG_DISABLE_PTHREAD is not set
+# CONFIG_DISABLE_SIGNALS is not set
+# CONFIG_DISABLE_MQUEUE is not set
+# CONFIG_DISABLE_ENVIRON is not set
+
+#
+# Signal Numbers
+#
+CONFIG_SIG_SIGUSR1=1
+CONFIG_SIG_SIGUSR2=2
+CONFIG_SIG_SIGALARM=3
+CONFIG_SIG_SIGCONDTIMEDOUT=16
+
+#
+# Sizes of configurable things (0 disables)
+#
+CONFIG_MAX_TASKS=16
+CONFIG_MAX_TASK_ARGS=4
+CONFIG_NPTHREAD_KEYS=4
+CONFIG_NFILE_DESCRIPTORS=8
+CONFIG_NFILE_STREAMS=8
+CONFIG_NAME_MAX=32
+CONFIG_PREALLOC_MQ_MSGS=4
+CONFIG_MQ_MAXMSGSIZE=32
+CONFIG_MAX_WDOGPARMS=2
+CONFIG_PREALLOC_WDOGS=4
+CONFIG_PREALLOC_TIMERS=4
+
+#
+# Stack and heap information
+#
+CONFIG_IDLETHREAD_STACKSIZE=1024
+CONFIG_USERMAIN_STACKSIZE=2048
+CONFIG_PTHREAD_STACK_MIN=256
+CONFIG_PTHREAD_STACK_DEFAULT=2048
+
+#
+# Device Drivers
+#
+CONFIG_DISABLE_POLL=y
+CONFIG_DEV_NULL=y
+# CONFIG_DEV_ZERO is not set
+# CONFIG_LOOP is not set
+# CONFIG_RAMDISK is not set
+# CONFIG_CAN is not set
+# CONFIG_ARCH_HAVE_PWM_PULSECOUNT is not set
+# CONFIG_PWM is not set
+# CONFIG_I2C is not set
+# CONFIG_SPI is not set
+# CONFIG_I2S is not set
+# CONFIG_RTC is not set
+# CONFIG_WATCHDOG is not set
+# CONFIG_ANALOG is not set
+# CONFIG_AUDIO_DEVICES is not set
+# CONFIG_BCH is not set
+# CONFIG_INPUT is not set
+# CONFIG_LCD is not set
+# CONFIG_MMCSD is not set
+# CONFIG_MTD is not set
+# CONFIG_PIPES is not set
+# CONFIG_PM is not set
+# CONFIG_POWER is not set
+# CONFIG_SENSORS is not set
+CONFIG_SERIAL=y
+# CONFIG_DEV_LOWCONSOLE is not set
+# CONFIG_16550_UART is not set
+CONFIG_ARCH_HAVE_UART=y
+
+#
+# USART Configuration
+#
+CONFIG_MCU_SERIAL=y
+CONFIG_STANDARD_SERIAL=y
+CONFIG_UART_SERIAL_CONSOLE=y
+# CONFIG_NO_SERIAL_CONSOLE is not set
+
+#
+# UART Configuration
+#
+CONFIG_UART_RXBUFSIZE=256
+CONFIG_UART_TXBUFSIZE=256
+CONFIG_UART_BAUD=115200
+CONFIG_UART_BITS=8
+CONFIG_UART_PARITY=0
+CONFIG_UART_2STOP=0
+# CONFIG_UART_IFLOWCONTROL is not set
+# CONFIG_UART_OFLOWCONTROL is not set
+# CONFIG_SERIAL_IFLOWCONTROL is not set
+# CONFIG_SERIAL_OFLOWCONTROL is not set
+# CONFIG_USBDEV is not set
+# CONFIG_USBHOST is not set
+# CONFIG_WIRELESS is not set
+
+#
+# System Logging Device Options
+#
+
+#
+# System Logging
+#
+# CONFIG_RAMLOG is not set
+
+#
+# Networking Support
+#
+# CONFIG_ARCH_HAVE_NET is not set
+# CONFIG_ARCH_HAVE_PHY is not set
+# CONFIG_NET is not set
+
+#
+# File Systems
+#
+
+#
+# File system configuration
+#
+# CONFIG_DISABLE_MOUNTPOINT is not set
+CONFIG_FS_READABLE=y
+CONFIG_FS_WRITABLE=y
+# CONFIG_FS_RAMMAP is not set
+CONFIG_FS_FAT=y
+# CONFIG_FAT_LCNAMES is not set
+# CONFIG_FAT_LFN is not set
+# CONFIG_FS_FATTIME is not set
+# CONFIG_FAT_DMAMEMORY is not set
+# CONFIG_FS_NXFFS is not set
+# CONFIG_FS_ROMFS is not set
+# CONFIG_FS_SMARTFS is not set
+# CONFIG_FS_PROCFS is not set
+
+#
+# System Logging
+#
+# CONFIG_SYSLOG_ENABLE is not set
+# CONFIG_SYSLOG is not set
+
+#
+# Graphics Support
+#
+# CONFIG_NX is not set
+
+#
+# Memory Management
+#
+# CONFIG_MM_MULTIHEAP is not set
+# CONFIG_MM_SMALL is not set
+CONFIG_MM_REGIONS=1
+# CONFIG_GRAN is not set
+
+#
+# Audio Support
+#
+# CONFIG_AUDIO is not set
+
+#
+# Binary Formats
+#
+# CONFIG_BINFMT_DISABLE is not set
+# CONFIG_BINFMT_EXEPATH is not set
+# CONFIG_NXFLAT is not set
+# CONFIG_ELF is not set
+# CONFIG_BUILTIN is not set
+# CONFIG_PIC is not set
+# CONFIG_SYMTAB_ORDEREDBYNAME is not set
+
+#
+# Library Routines
+#
+
+#
+# Standard C Library Options
+#
+CONFIG_STDIO_BUFFER_SIZE=64
+CONFIG_STDIO_LINEBUFFER=y
+CONFIG_NUNGET_CHARS=2
+CONFIG_LIB_HOMEDIR="/"
+# CONFIG_LIBM is not set
+# CONFIG_NOPRINTF_FIELDWIDTH is not set
+# CONFIG_LIBC_FLOATINGPOINT is not set
+CONFIG_LIB_RAND_ORDER=1
+# CONFIG_EOL_IS_CR is not set
+# CONFIG_EOL_IS_LF is not set
+# CONFIG_EOL_IS_BOTH_CRLF is not set
+CONFIG_EOL_IS_EITHER_CRLF=y
+# CONFIG_LIBC_EXECFUNCS is not set
+CONFIG_POSIX_SPAWN_PROXY_STACKSIZE=1024
+CONFIG_TASK_SPAWN_DEFAULT_STACKSIZE=2048
+# CONFIG_LIBC_STRERROR is not set
+# CONFIG_LIBC_PERROR_STDOUT is not set
+CONFIG_ARCH_LOWPUTC=y
+CONFIG_LIB_SENDFILE_BUFSIZE=512
+# CONFIG_ARCH_ROMGETC is not set
+# CONFIG_ARCH_OPTIMIZED_FUNCTIONS is not set
+
+#
+# Non-standard Library Support
+#
+# CONFIG_SCHED_WORKQUEUE is not set
+# CONFIG_LIB_KBDCODEC is not set
+# CONFIG_LIB_SLCDCODEC is not set
+
+#
+# Basic CXX Support
+#
+# CONFIG_C99_BOOL8 is not set
+# CONFIG_HAVE_CXX is not set
+
+#
+# Application Configuration
+#
+
+#
+# Built-In Applications
+#
+
+#
+# Examples
+#
+# CONFIG_EXAMPLES_BUTTONS is not set
+# CONFIG_EXAMPLES_CAN is not set
+# CONFIG_EXAMPLES_CONFIGDATA is not set
+# CONFIG_EXAMPLES_DHCPD is not set
+# CONFIG_EXAMPLES_ELF is not set
+# CONFIG_EXAMPLES_FTPC is not set
+# CONFIG_EXAMPLES_FTPD is not set
+# CONFIG_EXAMPLES_HELLO is not set
+# CONFIG_EXAMPLES_HELLOXX is not set
+# CONFIG_EXAMPLES_JSON is not set
+# CONFIG_EXAMPLES_HIDKBD is not set
+# CONFIG_EXAMPLES_KEYPADTEST is not set
+# CONFIG_EXAMPLES_IGMP is not set
+# CONFIG_EXAMPLES_LCDRW is not set
+# CONFIG_EXAMPLES_MM is not set
+# CONFIG_EXAMPLES_MODBUS is not set
+# CONFIG_EXAMPLES_MOUNT is not set
+# CONFIG_EXAMPLES_NRF24L01TERM is not set
+CONFIG_EXAMPLES_NSH=y
+# CONFIG_EXAMPLES_NULL is not set
+# CONFIG_EXAMPLES_NX is not set
+# CONFIG_EXAMPLES_NXCONSOLE is not set
+# CONFIG_EXAMPLES_NXFFS is not set
+# CONFIG_EXAMPLES_NXFLAT is not set
+# CONFIG_EXAMPLES_NXHELLO is not set
+# CONFIG_EXAMPLES_NXIMAGE is not set
+# CONFIG_EXAMPLES_NXLINES is not set
+# CONFIG_EXAMPLES_NXTEXT is not set
+# CONFIG_EXAMPLES_OSTEST is not set
+# CONFIG_EXAMPLES_PASHELLO is not set
+# CONFIG_EXAMPLES_PIPE is not set
+# CONFIG_EXAMPLES_POLL is not set
+# CONFIG_EXAMPLES_POSIXSPAWN is not set
+# CONFIG_EXAMPLES_QENCODER is not set
+# CONFIG_EXAMPLES_RGMP is not set
+# CONFIG_EXAMPLES_ROMFS is not set
+# CONFIG_EXAMPLES_SENDMAIL is not set
+# CONFIG_EXAMPLES_SERLOOP is not set
+# CONFIG_EXAMPLES_SLCD is not set
+# CONFIG_EXAMPLES_SMART is not set
+# CONFIG_EXAMPLES_TCPECHO is not set
+# CONFIG_EXAMPLES_TELNETD is not set
+# CONFIG_EXAMPLES_THTTPD is not set
+# CONFIG_EXAMPLES_TIFF is not set
+# CONFIG_EXAMPLES_TOUCHSCREEN is not set
+# CONFIG_EXAMPLES_UDP is not set
+# CONFIG_EXAMPLES_UIP is not set
+# CONFIG_EXAMPLES_USBSERIAL is not set
+# CONFIG_EXAMPLES_USBTERM is not set
+# CONFIG_EXAMPLES_WATCHDOG is not set
+
+#
+# Graphics Support
+#
+# CONFIG_TIFF is not set
+
+#
+# Interpreters
+#
+# CONFIG_INTERPRETERS_FICL is not set
+# CONFIG_INTERPRETERS_PCODE is not set
+
+#
+# Network Utilities
+#
+
+#
+# Networking Utilities
+#
+# CONFIG_NETUTILS_CODECS is not set
+# CONFIG_NETUTILS_DHCPC is not set
+# CONFIG_NETUTILS_DHCPD is not set
+# CONFIG_NETUTILS_FTPC is not set
+# CONFIG_NETUTILS_FTPD is not set
+# CONFIG_NETUTILS_JSON is not set
+# CONFIG_NETUTILS_RESOLV is not set
+# CONFIG_NETUTILS_SMTP is not set
+# CONFIG_NETUTILS_TELNETD is not set
+# CONFIG_NETUTILS_TFTPC is not set
+# CONFIG_NETUTILS_THTTPD is not set
+# CONFIG_NETUTILS_UIPLIB is not set
+# CONFIG_NETUTILS_WEBCLIENT is not set
+
+#
+# FreeModBus
+#
+# CONFIG_MODBUS is not set
+
+#
+# NSH Library
+#
+CONFIG_NSH_LIBRARY=y
+
+#
+# Disable Individual commands
+#
+# CONFIG_NSH_DISABLE_ADDROUTE is not set
+# CONFIG_NSH_DISABLE_CAT is not set
+# CONFIG_NSH_DISABLE_CD is not set
+# CONFIG_NSH_DISABLE_CP is not set
+# CONFIG_NSH_DISABLE_CMP is not set
+# CONFIG_NSH_DISABLE_DD is not set
+# CONFIG_NSH_DISABLE_DELROUTE is not set
+# CONFIG_NSH_DISABLE_ECHO is not set
+# CONFIG_NSH_DISABLE_EXEC is not set
+# CONFIG_NSH_DISABLE_EXIT is not set
+# CONFIG_NSH_DISABLE_FREE is not set
+# CONFIG_NSH_DISABLE_GET is not set
+# CONFIG_NSH_DISABLE_HELP is not set
+# CONFIG_NSH_DISABLE_HEXDUMP is not set
+# CONFIG_NSH_DISABLE_IFCONFIG is not set
+# CONFIG_NSH_DISABLE_KILL is not set
+# CONFIG_NSH_DISABLE_LOSETUP is not set
+# CONFIG_NSH_DISABLE_LS is not set
+# CONFIG_NSH_DISABLE_MB is not set
+# CONFIG_NSH_DISABLE_MKDIR is not set
+# CONFIG_NSH_DISABLE_MKFATFS is not set
+# CONFIG_NSH_DISABLE_MKFIFO is not set
+# CONFIG_NSH_DISABLE_MKRD is not set
+# CONFIG_NSH_DISABLE_MH is not set
+# CONFIG_NSH_DISABLE_MOUNT is not set
+# CONFIG_NSH_DISABLE_MW is not set
+# CONFIG_NSH_DISABLE_NSFMOUNT is not set
+# CONFIG_NSH_DISABLE_PS is not set
+# CONFIG_NSH_DISABLE_PING is not set
+# CONFIG_NSH_DISABLE_PUT is not set
+# CONFIG_NSH_DISABLE_PWD is not set
+# CONFIG_NSH_DISABLE_RM is not set
+# CONFIG_NSH_DISABLE_RMDIR is not set
+# CONFIG_NSH_DISABLE_SET is not set
+# CONFIG_NSH_DISABLE_SH is not set
+# CONFIG_NSH_DISABLE_SLEEP is not set
+# CONFIG_NSH_DISABLE_TEST is not set
+# CONFIG_NSH_DISABLE_UMOUNT is not set
+# CONFIG_NSH_DISABLE_UNSET is not set
+# CONFIG_NSH_DISABLE_USLEEP is not set
+# CONFIG_NSH_DISABLE_WGET is not set
+# CONFIG_NSH_DISABLE_XD is not set
+
+#
+# Configure Command Options
+#
+# CONFIG_NSH_CMDOPT_DF_H is not set
+CONFIG_NSH_CODECS_BUFSIZE=128
+# CONFIG_NSH_CMDOPT_HEXDUMP is not set
+CONFIG_NSH_FILEIOSIZE=512
+CONFIG_NSH_LINELEN=64
+CONFIG_NSH_MAXARGUMENTS=6
+CONFIG_NSH_NESTDEPTH=3
+# CONFIG_NSH_DISABLESCRIPT is not set
+# CONFIG_NSH_DISABLEBG is not set
+CONFIG_NSH_CONSOLE=y
+
+#
+# USB Trace Support
+#
+# CONFIG_NSH_CONDEV is not set
+CONFIG_NSH_ARCHINIT=y
+
+#
+# NxWidgets/NxWM
+#
+
+#
+# Platform-specific Support
+#
+# CONFIG_PLATFORM_CONFIGDATA is not set
+
+#
+# System NSH Add-Ons
+#
+
+#
+# USB CDC/ACM Device Commands
+#
+
+#
+# USB Composite Device Commands
+#
+
+#
+# Custom Free Memory Command
+#
+# CONFIG_SYSTEM_FREE is not set
+
+#
+# I2C tool
+#
+
+#
+# FLASH Program Installation
+#
+# CONFIG_SYSTEM_INSTALL is not set
+
+#
+# FLASH Erase-all Command
+#
+
+#
+# NxPlayer media player library / command Line
+#
+# CONFIG_SYSTEM_NXPLAYER is not set
+
+#
+# RAM test
+#
+# CONFIG_SYSTEM_RAMTEST is not set
+
+#
+# readline()
+#
+CONFIG_SYSTEM_READLINE=y
+CONFIG_READLINE_ECHO=y
+
+#
+# Power Off
+#
+# CONFIG_SYSTEM_POWEROFF is not set
+
+#
+# RAMTRON
+#
+# CONFIG_SYSTEM_RAMTRON is not set
+
+#
+# SD Card
+#
+# CONFIG_SYSTEM_SDCARD is not set
+
+#
+# Sysinfo
+#
+# CONFIG_SYSTEM_SYSINFO is not set
+
+#
+# USB Monitor
+#
+
+#
+# Stack Monitor
+#
+
+#
+# USB Mass Storage Device Commands
+#
+
+#
+# Zmodem Commands
+#
+# CONFIG_SYSTEM_ZMODEM is not set
diff --git a/nuttx/configs/olimex-lpc-h3131/nsh/setenv.sh b/nuttx/configs/olimex-lpc-h3131/nsh/setenv.sh
new file mode 100755
index 000000000..7ebc4227e
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/nsh/setenv.sh
@@ -0,0 +1,66 @@
+#!/bin/bash
+# configs/olimex-lpc-h3131/nsh/setenv.sh
+#
+#   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+#   Author: Gregory Nutt <gnutt@nuttx.org>
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+#
+# 1. Redistributions of source code must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+# 2. Redistributions in binary form must reproduce the above copyright
+#    notice, this list of conditions and the following disclaimer in
+#    the documentation and/or other materials provided with the
+#    distribution.
+# 3. Neither the name NuttX nor the names of its contributors may be
+#    used to endorse or promote products derived from this software
+#    without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+#
+
+if [ "$_" = "$0" ] ; then
+  echo "You must source this script, not run it!" 1>&2
+  exit 1
+fi
+
+WD=`pwd`
+if [ ! -x "setenv.sh" ]; then
+  echo "This script must be executed from the top-level NuttX build directory"
+  exit 1
+fi
+
+if [ -z "${PATH_ORIG}" ]; then
+  export PATH_ORIG="${PATH}"
+fi
+
+# This is the Cygwin path to the location where I installed the CodeSourcery
+# toolchain under windows.  You will also have to edit this if you install
+# the CodeSourcery toolchain in any other location
+export TOOLCHAIN_BIN="/cygdrive/c/Program Files (x86)/CodeSourcery/Sourcery G++ Lite/bin"
+
+# This is the Cygwin path to the location where I build the buildroot
+# toolchain.
+#export TOOLCHAIN_BIN="${WD}/../misc/buildroot/build_arm_nofpu/staging_dir/bin"
+
+# This is the path to the tools subdirectory
+
+export LPCTOOL_DIR="${WD}/configs/olimex-lpc-h3131/tools"
+
+# Add the path to the toolchain to the PATH varialble
+
+export PATH="${TOOLCHAIN_BIN}:${LPCTOOL_DIR}:/sbin:/usr/sbin:${PATH_ORIG}"
+echo "PATH : ${PATH}"
diff --git a/nuttx/configs/olimex-lpc-h3131/scripts/ld.script b/nuttx/configs/olimex-lpc-h3131/scripts/ld.script
new file mode 100644
index 000000000..3efc2fdcd
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/scripts/ld.script
@@ -0,0 +1,114 @@
+/****************************************************************************
+ * configs/olimex-lpc-h3131/scripts/ld.script
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/* The LPC3131 has 192Kb of ISRAM beginning at virtual address 0x1102:8000.
+ * LPC31xx boot ROM expects the boot image be compiled with entry point at
+ * 0x1102:9000.  A 128b header will appear at this address (applied by
+ * lpc313xImgCreator) and the executable code must begin at 0x1102:9080.
+ */
+
+MEMORY
+{
+    isram (rwx) : ORIGIN = 0x11029080, LENGTH = 192K - 4224
+}
+
+OUTPUT_ARCH(arm)
+ENTRY(_stext)
+SECTIONS
+{
+	.text : {
+		_stext = ABSOLUTE(.);
+		*(.vectors)
+		*(.text .text.*)
+		*(.fixup)
+		*(.gnu.warning)
+		*(.rodata .rodata.*)
+		*(.gnu.linkonce.t.*)
+		*(.glue_7)
+		*(.glue_7t)
+		*(.got)
+		*(.gcc_except_table)
+		*(.gnu.linkonce.r.*)
+		_etext = ABSOLUTE(.);
+	} > isram
+
+	.init_section : {
+		_sinit = ABSOLUTE(.);
+		*(.init_array .init_array.*)
+		_einit = ABSOLUTE(.);
+	} > isram
+
+	.ARM.extab : {
+		*(.ARM.extab*)
+	} > isram
+
+	__exidx_start = ABSOLUTE(.);
+	.ARM.exidx : {
+		*(.ARM.exidx*)
+	} > isram
+	__exidx_end = ABSOLUTE(.);
+
+	_eronly = ABSOLUTE(.);
+
+	.data : {
+		_sdata = ABSOLUTE(.);
+		*(.data .data.*)
+		*(.gnu.linkonce.d.*)
+		CONSTRUCTORS
+		_edata = ABSOLUTE(.);
+	} > isram
+
+	.bss : {
+		_sbss = ABSOLUTE(.);
+		*(.bss .bss.*)
+		*(.gnu.linkonce.b.*)
+		*(COMMON)
+		_ebss = ABSOLUTE(.);
+	} > isram
+
+	/* Stabs debugging sections. */
+	.stab 0 : { *(.stab) }
+	.stabstr 0 : { *(.stabstr) }
+	.stab.excl 0 : { *(.stab.excl) }
+	.stab.exclstr 0 : { *(.stab.exclstr) }
+	.stab.index 0 : { *(.stab.index) }
+	.stab.indexstr 0 : { *(.stab.indexstr) }
+	.comment 0 : { *(.comment) }
+	.debug_abbrev 0 : { *(.debug_abbrev) }
+	.debug_info 0 : { *(.debug_info) }
+	.debug_line 0 : { *(.debug_line) }
+	.debug_pubnames 0 : { *(.debug_pubnames) }
+	.debug_aranges 0 : { *(.debug_aranges) }
+}
diff --git a/nuttx/configs/olimex-lpc-h3131/src/.gitignore b/nuttx/configs/olimex-lpc-h3131/src/.gitignore
new file mode 100644
index 000000000..726d936e1
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/.gitignore
@@ -0,0 +1,2 @@
+/.depend
+/Make.dep
diff --git a/nuttx/configs/olimex-lpc-h3131/src/Makefile b/nuttx/configs/olimex-lpc-h3131/src/Makefile
new file mode 100644
index 000000000..477febcb3
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/Makefile
@@ -0,0 +1,100 @@
+############################################################################
+# configs/olimex-lpc-h3131/src/Makefile
+#
+#   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+#   Author: Gregory Nutt <gnutt@nuttx.org>
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+#
+# 1. Redistributions of source code must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+# 2. Redistributions in binary form must reproduce the above copyright
+#    notice, this list of conditions and the following disclaimer in
+#    the documentation and/or other materials provided with the
+#    distribution.
+# 3. Neither the name NuttX nor the names of its contributors may be
+#    used to endorse or promote products derived from this software
+#    without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+#
+############################################################################
+
+-include $(TOPDIR)/Make.defs
+
+CFLAGS += -I$(TOPDIR)/sched
+
+ASRCS =
+AOBJS = $(ASRCS:.S=$(OBJEXT))
+
+CSRCS = lpc31_boot.c lpc31_clkinit.c
+
+ifeq ($(CONFIG_ARCH_LEDS),y)
+CSRCS += lpc31_leds.c
+endif
+
+ifeq ($(CONFIG_LPC31_SPI),y)
+CSRCS += lpc31_spi.c
+endif
+
+ifeq ($(CONFIG_NSH_ARCHINIT),y)
+CSRCS += lpc31_nsh.c
+endif
+
+ifeq ($(CONFIG_LPC31_USBOTG),y)
+ifeq ($(CONFIG_USBHOST),y)
+CSRCS += lpc31_usbhost.c
+endif
+endif
+
+COBJS = $(CSRCS:.c=$(OBJEXT))
+
+SRCS = $(ASRCS) $(CSRCS)
+OBJS = $(AOBJS) $(COBJS)
+
+ARCH_SRCDIR = $(TOPDIR)/arch/$(CONFIG_ARCH)/src
+ifeq ($(WINTOOL),y)
+  CFLAGS += -I "${shell cygpath -w $(ARCH_SRCDIR)/chip}" -I "${shell cygpath -w $(ARCH_SRCDIR)/common}" -I "${shell cygpath -w $(ARCH_SRCDIR)/arm}"
+else
+  CFLAGS += -I$(ARCH_SRCDIR)/chip -I$(ARCH_SRCDIR)/common -I$(ARCH_SRCDIR)/arm
+endif
+
+all: libboard$(LIBEXT)
+
+$(AOBJS): %$(OBJEXT): %.S
+	$(call ASSEMBLE, $<, $@)
+
+$(COBJS) $(LINKOBJS): %$(OBJEXT): %.c
+	$(call COMPILE, $<, $@)
+
+libboard$(LIBEXT): $(OBJS)
+	$(call ARCHIVE, $@, $(OBJS))
+
+.depend: Makefile $(SRCS)
+	$(Q) $(MKDEP) $(CC) -- $(CFLAGS) -- $(SRCS) >Make.dep
+	$(Q) touch $@
+
+depend: .depend
+
+clean:
+	$(call DELFILE, libboard$(LIBEXT))
+	$(call CLEAN)
+
+distclean: clean
+	$(call DELFILE, Make.dep)
+	$(call DELFILE, .depend)
+
+-include Make.dep
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc31_boot.c b/nuttx/configs/olimex-lpc-h3131/src/lpc31_boot.c
new file mode 100644
index 000000000..c8cda3f3b
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc31_boot.c
@@ -0,0 +1,122 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc31_boot.c
+ *
+ *   Copyright (C) 2031 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <debug.h>
+
+#include <arch/board/board.h>
+
+#include "up_arch.h"
+#include "up_internal.h"
+#include "lpc31_internal.h"
+#include "lpc_h3131.h"
+
+/************************************************************************************
+ * Definitions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Private Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Public Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Name: lpc31_boardinitialize
+ *
+ * Description:
+ *   All LPC31XX architectures must provide the following entry point.  This entry
+ *   point is called early in the intitialization -- after all memory has been
+ *   configured and mapped but before any devices have been initialized.
+ *
+ ************************************************************************************/
+
+void lpc31_boardinitialize(void)
+{
+  /* Initialize configured, external memory resources */
+
+#ifdef CONFIG_LPC31_EXTDRAM
+  lpc31_meminitialize();
+#endif
+
+  /* Configure SPI chip selects if 1) SPI is not disabled, and 2) the weak function
+   * lpc31_spiinitialize() has been brought into the link.
+   */
+
+#if defined(CONFIG_LPC31_SPI)
+  if (lpc31_spiinitialize)
+    {
+      lpc31_spiinitialize();
+    }
+#endif
+
+   /* Initialize USB is 1) USBDEV is selected, 2) the USB controller is not
+    * disabled, and 3) the weak function lpc31_usbdev_initialize() has been brought
+    * into the build.
+    */
+
+#if defined(CONFIG_USBDEV) && defined(CONFIG_LPC31_USBOTG)
+  if (lpc31_usbdev_initialize)
+    {
+      lpc31_usbdev_initialize();
+    }
+#endif
+
+  /* Initialize USB if the 1) the HS host or device controller is in the
+   * configuration and 2) the weak function sam_usbinitialize() has been brought
+   * into the build. Presumeably either CONFIG_USBDEV or CONFIG_USBHOST is also
+   * selected.
+   */
+
+#if defined(CONFIG_SAMA5_UHPHS) || defined(CONFIG_SAMA5_UDPHS)
+  if (lpc31_usbhost_bootinitialize)
+    {
+      lpc31_usbhost_bootinitialize();
+    }
+#endif
+
+  /* Configure on-board LEDs if LED support has been selected. */
+
+#ifdef CONFIG_ARCH_LEDS
+  up_ledinit();
+#endif
+}
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc31_clkinit.c b/nuttx/configs/olimex-lpc-h3131/src/lpc31_clkinit.c
new file mode 100644
index 000000000..1e009e0c7
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc31_clkinit.c
@@ -0,0 +1,437 @@
+/****************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc31_clkinit.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * References:
+ *   - NXP UM10314 LPC3130/31 User manual Rev. 1.01 — 9 September 2009
+ *   - NXP lpc313x.cdl.drivers.zip example driver code
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/****************************************************************************
+ * Included Files
+ ****************************************************************************/
+
+#include <nuttx/config.h>
+
+#include "lpc31_cgu.h"
+#include "lpc31_cgudrvr.h"
+
+/****************************************************************************
+ * Definitions
+ ****************************************************************************/
+
+/* Sub-domain Clock Bitsets *************************************************/
+/* The following bitsets group clocks into bitsets associated with each
+ * domain and fractional divider subdomain.
+ *
+ * Domain 0 (DOMAINID_SYS), Clocks 0 - 29, Fraction dividers 0-6.  Clocks not
+ * defined in the clock sets will be sourced with SYS_BASE_CLK.
+ */
+
+/* Domain 0, Fractional divider 0: */
+
+#define CGU_CLKSET_DOMAIN0_DIV0 \
+  (_D0B(CLKID_APB0CLK)|_D0B(CLKID_APB1CLK)|_D0B(CLKID_APB2CLK)|\
+   _D0B(CLKID_APB3CLK)|_D0B(CLKID_APB4CLK)|_D0B(CLKID_AHB2INTCCLK)|\
+   _D0B(CLKID_AHB0CLK)|_D0B(CLKID_DMAPCLK)|_D0B(CLKID_DMACLKGATED)|\
+   _D0B(CLKID_NANDFLASHS0CLK)|_D0B(CLKID_NANDFLASHPCLK)|\
+   _D0B(CLKID_ARM926BUSIFCLK)|_D0B(CLKID_SDMMCHCLK)|_D0B(CLKID_USBOTGAHBCLK)|\
+   _D0B(CLKID_ISRAM0CLK)|_D0B(CLKID_ISRAM1CLK)|_D0B(CLKID_ISROMCLK)|\
+   _D0B(CLKID_MPMCCFGCLK)|_D0B(CLKID_MPMCCFGCLK2)|_D0B(CLKID_INTCCLK))
+
+/* Domain 0, Fractional divider 1: */
+
+#define CGU_CLKSET_DOMAIN0_DIV1 \
+  (_D0B(CLKID_ARM926CORECLK))
+
+/* Domain 0, Fractional divider 2: */
+
+#define CGU_CLKSET_DOMAIN0_DIV2 \
+  (_D0B(CLKID_NANDFLASHAESCLK)|_D0B(CLKID_NANDFLASHNANDCLK))
+
+/* Domain 0, Fractional divider 3: */
+
+#define CGU_CLKSET_DOMAIN0_DIV3 \
+  (_D0B(CLKID_NANDFLASHECCCLK))
+
+/* Domain 0, Fractional divider 4: */
+
+#define CGU_CLKSET_DOMAIN0_DIV4 \
+  (_D0B(CLKID_SDMMCCCLKIN))
+
+/* Domain 0, Fractional divider 5: */
+
+#define CGU_CLKSET_DOMAIN0_DIV5 \
+  (_D0B(CLKID_CLOCKOUT))
+
+/* Domain 0, Fractional divider 6: */
+
+#define CGU_CLKSET_DOMAIN0_DIV6 \
+  (_D0B(CLKID_EBICLK))
+
+/* Domain 1 (DOMAINID_AHB0APB0), Clocks 30-39, Fraction dividers 7-8.  Clocks
+ * not defined in the clock sets will be sourced with AHB_APB0_BASE_CLK.
+ */
+
+/* Domain 1, Fractional divider 7: */
+
+#define CGU_CLKSET_DOMAIN1_DIV7 \
+  (_D1B(CLKID_ADCCLK))
+
+/* Domain 1, Fractional divider 8: */
+
+#define CGU_CLKSET_DOMAIN1_DIV8 \
+  (_D1B(CLKID_AHB2APB0PCLK)|_D1B(CLKID_EVENTROUTERPCLK)|\
+   _D1B(CLKID_ADCPCLK)|_D1B(CLKID_WDOGPCLK)|_D1B(CLKID_IOCONFPCLK)|\
+   _D1B(CLKID_CGUPCLK)|_D1B(CLKID_SYSCREGPCLK)|_D1B(CLKID_OTPPCLK)|\
+   _D1B(CLKID_RNGPCLK))
+
+/* Domain 2 (DOMAINID_AHB0APB1), Clocks 40-49, Fraction dividers 9-10.  Clocks
+ * not defined in the clock sets will be sourced with AHB_APB1_BASE_CLK.
+ */
+
+/* Domain 2, Fractional divider 9: */
+
+#define CGU_CLKSET_DOMAIN2_DIV9 \
+  (_D2B(CLKID_AHB2APB1PCLK)|_D2B(CLKID_TIMER0PCLK)|_D2B(CLKID_TIMER1PCLK)|\
+   _D2B(CLKID_TIMER2PCLK)|_D2B(CLKID_TIMER3PCLK)|_D2B(CLKID_PWMPCLK)|\
+   _D2B(CLKID_PWMPCLKREGS)|_D2B(CLKID_I2C0PCLK)|_D2B(CLKID_I2C1PCLK))
+
+/* Domain 2, Fractional divider 10: */
+
+#define CGU_CLKSET_DOMAIN2_DIV10 \
+  (_D2B(CLKID_PWMCLK))
+
+/* Domain 3 (DOMAINID_AHB0APB2), Clocks 50-57, Fraction dividers 11-13.  Clocks
+ * not defined in the clock sets will be sourced with AHB_APB2_BASE_CLK.
+ */
+
+/* Domain 3, Fractional divider 11: */
+
+#define CGU_CLKSET_DOMAIN3_DIV11 \
+  ( _D3B(CLKID_AHB2APB2PCLK)|_D3B(CLKID_PCMPCLK)|_D3B(CLKID_PCMAPBPCLK)|\
+    _D3B(CLKID_UARTAPBCLK)|_D3B(CLKID_LCDPCLK)|_D3B(CLKID_SPIPCLK)|\
+    _D3B(CLKID_SPIPCLKGATED))
+
+/* Domain 3, Fractional divider 12: */
+
+#define CGU_CLKSET_DOMAIN3_DIV12 \
+  (_D3B(CLKID_LCDCLK))
+
+/* Domain 3, Fractional divider 13: */
+
+#define CGU_CLKSET_DOMAIN3_DIV13 \
+  (0)
+
+/* Domain 4 (DOMAINID_AHB0APB3), Clocks 58-70, Fraction divider 14.  Clocks
+ * not defined in the clock sets will be sourced with AHB_APB3_BASE_CLK.
+ */
+
+#define CGU_CLKSET_DOMAIN4_DIV14 \
+  (_D4B(CLKID_AHB2APB3PCLK)|_D4B(CLKID_I2SCFGPCLK)|_D4B(CLKID_EDGEDETPCLK)|\
+   _D4B(CLKID_I2STXFIFO0PCLK)|_D4B(CLKID_I2STXIF0PCLK)|_D4B(CLKID_I2STXFIFO1PCLK)|\
+   _D4B(CLKID_I2STXIF1PCLK)|_D4B(CLKID_I2SRXFIFO0PCLK)|_D4B(CLKID_I2SRXIF0PCLK)|\
+   _D4B(CLKID_I2SRXFIFO1PCLK)|_D4B(CLKID_I2SRXIF1PCLK))
+
+/* Domain 5 (DOMAINID_PCM), Clock 71, Fraction divider 15.  Clocks not
+ * defined in the clock sets will be sourced with AHB_APB3_BASE_CLK.
+ */
+
+#define CGU_CLKSET_DOMAIN5_DIV15 \
+  (_D5B(CLKID_PCMCLKIP))
+
+/* Domain 6 (DOMAINID_UART), Clock 72, Fraction divider 16.  Clocks mpt
+ * defined in the clock sets will be sourced with UART_BASE_CLK.
+ */
+
+#define CGU_CLKSET_DOMAIN6_DIV16 \
+  (0)
+
+/* Domain 7 (DOMAINID_CLK1024FS), Clocks 73-86, Fraction dividers 17-22.  Clocks
+ * not defined in the clock sets will be sourced with CLK1024FS_BASE_CLK.
+ */
+
+/* Domain 7, Fractional divider 17: */
+
+#define CGU_CLKSET_DOMAIN7_DIV17 \
+  ( _D7B(CLKID_I2SEDGEDETECTCLK)|_D7B(CLKID_I2STXWS0)|_D7B(CLKID_I2STXWS1)|\
+    _D7B(CLKID_I2SRXWS0)|_D7B(CLKID_I2SRXWS1))
+
+/* Domain 7, Fractional divider 18: */
+
+#define CGU_CLKSET_DOMAIN7_DIV18 \
+  ( _D7B(CLKID_I2STXBCK0N)|_D7B(CLKID_I2STXBCK1N))
+
+/* Domain 7, Fractional divider 19: */
+
+#define CGU_CLKSET_DOMAIN7_DIV19 \
+  ( _D7B(CLKID_I2STXCLK0)|_D7B(CLKID_CLK256FS))
+
+/* Domain 7, Fractional divider 20: */
+
+#define CGU_CLKSET_DOMAIN7_DIV20 \
+  ( _D7B(CLKID_I2SRXBCK0N)|_D7B(CLKID_I2SRXBCK1N))
+
+/* Domain 7, Fractional divider 21: */
+
+#define CGU_CLKSET_DOMAIN7_DIV21 \
+  (0)
+
+/* Domain 7, Fractional divider 22: */
+
+#define CGU_CLKSET_DOMAIN7_DIV22 \
+  (0)
+
+/* Domain 8 (DOMAINID_BCK0, clock 87, and domain 9 (DOMAINID_BCK1), clock 88,
+ * are directly connected
+ */
+
+/* Domain 10 (DOMAINID_SPI), Clocks 89-90, Fraction divider 23.  Clocks
+ * not defined in the clock sets will be sourced with SPI_CLK_BASE_CLK.
+ */
+
+#define CGU_CLKSET_DOMAIN10_DIV23 \
+  ( _D10B(CLKID_SPICLK)|_D10B(CLKID_SPICLKGATED))
+
+/* Domain 11 (DOMAINID_SYSCLKO, clock 91, is directly connected */
+
+/****************************************************************************
+ * Private Data
+ ****************************************************************************/
+
+/****************************************************************************
+ * Public Data
+ ****************************************************************************/
+
+/* Default clock configuration for the LPC-H3131 board.  Every board must
+ * provide an implementation of g_boardclks.  This rather complex structure
+ * is used by the boot-up logic to configure initial lpc313x clocking.
+ *
+ *   FFAST:           12MHz
+ *   MASTER PLL Freq: 180MHz;
+ *   AUDIOPLL Freq:   1024Fs, Fs = 44.1kHz
+ *
+ * Domain                   Input             Subdomain         Divider Ratio
+ * ------------------------ ----------------- ----------------- -------------
+ * 0 - DOMAIN_SYS           MASTER PLL(HPLL1) DOMAIN0_DIV0      1/2
+ *                                            DOMAIN0_DIV1      1
+ *                                            DOMAIN0_DIV2      1/2
+ *                                            DOMAIN0_DIV3      1/4
+ *                                            DOMAIN0_DIV4      1/4
+ *                                            DOMAIN0_DIV5      1/2
+ *                                            DOMAIN0_DIV6      1/2
+ *
+ * 1 - DOMAIN_AHB0APB0      FFAST             DOMAIN1_DIV7      1/38
+ *                                            DOMAIN1_DIV8      1/2
+ *
+ * 2 - DOMAIN_AHB0APB1      FFAST             DOMAIN2_DIV9      1/2
+ *                                            DOMAIN2_DIV10     1/2
+ *
+ * 3 - DOMAIN_AHB0APB2      MASTER PLL(HPLL1) DOMAIN3_DIV11     1/2
+ *                                            DOMAIN3_DIV12     1/40
+ *                                            DOMAIN3_DIV13     1 (not used)
+ *
+ * 4 - DOMAIN_AHB0APB3      FFAST             DOMAIN4_DIV14     1/2
+ *
+ * 5 - DOMAIN_PCM           MASTER PLL(HPLL1) DOMAIN5_DIV15     1/2
+ *
+ * 6 - DOMAIN_UART          FFAST             DOMAIN6_DIV16     1
+ *
+ * 7 - DOMAIN_CLCK1024FS    AUDIO PLL(HPLL0)  DOMAIN7_DIV17     1/256
+ *                                            DOMAIN7_DIV18     1/4
+ *                                            DOMAIN7_DIV19     1
+ *                                            DOMAIN7_DIV20     1/4
+ *                                            DOMAIN7_DIV21     1/32
+ *                                            DOMAIN7_DIV22     1/2
+ *
+ * 8 - DOMAIN_I2SRXBCK0     I2SRX_BCK0        -                 -
+ *
+ * 9 - DOMAIN_I2SRXBCK1     I2SRX_BCK1        -                 -
+ *
+ * 10 - DOMAIN_SPI          MASTER PLL(HPLL1) DOMAIN10_DIV23    1/2
+ *
+ * 11 - DOMAIN_SYSCLKO      FFAST             -                 -
+ */
+
+const struct lpc31_clkinit_s g_boardclks =
+{
+  /* Domain 0 (DOMAINID_SYS), Clocks 0 - 29, Fraction dividers 0-6 */
+
+  {
+    CGU_FREQIN_HPPLL1,
+    {
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN0_DIV0},
+      {{0, 0, 0}, CGU_CLKSET_DOMAIN0_DIV1},
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN0_DIV2},
+      {{1, 1, 4}, CGU_CLKSET_DOMAIN0_DIV3},
+      {{1, 1, 4}, CGU_CLKSET_DOMAIN0_DIV4},
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN0_DIV5},
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN0_DIV6}
+    }
+  },
+
+  /* Domain 1 (DOMAINID_AHB0APB0), Clocks 30-39, Fraction dividers 7-8 */
+
+  {
+    CGU_FREQIN_FFAST,
+    {
+      {{1, 1, 38}, CGU_CLKSET_DOMAIN1_DIV7},
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN1_DIV8}
+    }
+  },
+
+  /* Domain 2 (DOMAINID_AHB0APB1), Clocks 40-49, Fraction dividers 9-10 */
+
+  {
+    CGU_FREQIN_FFAST,
+    {
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN2_DIV9},
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN2_DIV10}
+    }
+  },
+
+  /* Domain 3 (DOMAINID_AHB0APB2), Clocks 50-57, Fraction dividers 11-13 */
+
+  {
+    CGU_FREQIN_HPPLL1,
+    {
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN3_DIV11},
+      {{1, 1, 40}, CGU_CLKSET_DOMAIN3_DIV12},
+      {{0, 0, 0}, CGU_CLKSET_DOMAIN3_DIV13}
+    }
+  },
+
+  /* Domain 4 (DOMAINID_AHB0APB3), Clocks 58-70, Fraction divider 14 */
+
+  {
+    CGU_FREQIN_FFAST,
+    {
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN4_DIV14}
+    }
+  },
+
+  /* Domain 5 (DOMAINID_PCM), Clock 71, Fraction divider 15 */
+
+  {
+    CGU_FREQIN_HPPLL1,
+    {
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN5_DIV15}
+    }
+  },
+
+  /* Domain 6 (DOMAINID_UART), Clock 72, Fraction divider 16 */
+
+  {
+    CGU_FREQIN_FFAST,
+    {
+      {{0, 0, 0}, CGU_CLKSET_DOMAIN6_DIV16}
+    }
+  },
+
+  /* Domain 7 (DOMAINID_CLK1024FS), Clocks 73-86, Fraction dividers 17-22 */
+
+  {
+    CGU_FREQIN_HPPLL0,
+    {
+      {{1, 1, 256}, CGU_CLKSET_DOMAIN7_DIV17},
+      {{1, 1, 4}, CGU_CLKSET_DOMAIN7_DIV18},
+      {{0, 0, 0}, CGU_CLKSET_DOMAIN7_DIV19},
+      {{1, 1, 4}, CGU_CLKSET_DOMAIN7_DIV20},
+      {{1, 1, 32}, CGU_CLKSET_DOMAIN7_DIV21},
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN7_DIV22}
+    }
+  },
+
+  /* Domain 8 (DOMAINID_BCK0, clock 87 */
+
+  {
+    CGU_FREQIN_I2SRXBCK0
+  },
+
+  /* Domain 9 (DOMAINID_BCK1, clock 88 */
+
+  {
+    CGU_FREQIN_I2SRXBCK1
+  },
+
+  /* Domain 10 (DOMAINID_SPI), Clocks 89-90, Fraction divider 23 */
+
+  {
+    CGU_FREQIN_HPPLL1,
+    {
+      {{1, 1, 2}, CGU_CLKSET_DOMAIN10_DIV23}
+    }
+  },
+
+  /* Domain 11 (DOMAINID_SYSCLKO, clock 91 */
+
+  {
+    CGU_FREQIN_FFAST
+  },
+
+  /* Dynamic fractional divider configuration (7) */
+
+#if 0 /* Dynamic fractional divider initialization not implemented */
+  {
+    {
+      CGU_DYNSEL_ALLBITS, {1, 1, 64}
+    },
+    {
+      CGU_DYNSEL_ALLBITS, {0, 0, 0}
+    },
+    {
+      CGU_DYNSEL_ALLBITS, {1, 1, 3}
+    },
+    {
+      CGU_DYNSEL_ALLBITS, {1, 1, 6}
+    },
+    {
+      CGU_DYNSEL_ALLBITS, {1, 1, 6}
+    },
+    {
+      CGU_DYNSEL_ALLBITS, {1, 1, 6}
+    },
+    {
+      CGU_DYNSEL_ALLBITS, {1, 1, 3}
+    }
+  }
+#endif
+};
+
+/****************************************************************************
+ * Private Functions
+ ****************************************************************************/
+
+/****************************************************************************
+ * Public Functions
+ ****************************************************************************/
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc31_leds.c b/nuttx/configs/olimex-lpc-h3131/src/lpc31_leds.c
new file mode 100644
index 000000000..05219f880
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc31_leds.c
@@ -0,0 +1,106 @@
+/****************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc31_leds.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/****************************************************************************
+ * Included Files
+ ****************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <stdint.h>
+#include <stdbool.h>
+#include <debug.h>
+
+#include <arch/board/board.h>
+
+#include "chip.h"
+#include "up_arch.h"
+#include "up_internal.h"
+#include "lpc31_internal.h"
+
+/****************************************************************************
+ * Definitions
+ ****************************************************************************/
+
+/* CONFIG_DEBUG_LEDS enables debug output from this file (needs CONFIG_DEBUG
+ * with CONFIG_DEBUG_VERBOSE too)
+ */
+
+#ifdef CONFIG_DEBUG_LEDS
+#  define leddbg  lldbg
+#  define ledvdbg llvdbg
+#else
+#  define leddbg(x...)
+#  define ledvdbg(x...)
+#endif
+
+/****************************************************************************
+ * Private Data
+ ****************************************************************************/
+
+/****************************************************************************
+ * Private Functions
+ ****************************************************************************/
+
+/****************************************************************************
+ * Public Functions
+ ****************************************************************************/
+
+/****************************************************************************
+ * Name: up_ledinit
+ ****************************************************************************/
+
+#ifdef CONFIG_ARCH_LEDS
+void up_ledinit(void)
+{
+}
+
+/****************************************************************************
+ * Name: up_ledon
+ ****************************************************************************/
+
+void up_ledon(int led)
+{
+}
+
+/****************************************************************************
+ * Name: up_ledoff
+ ****************************************************************************/
+
+void up_ledoff(int led)
+{
+}
+
+#endif /* CONFIG_ARCH_LEDS */
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc31_nsh.c b/nuttx/configs/olimex-lpc-h3131/src/lpc31_nsh.c
new file mode 100644
index 000000000..2f660c15a
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc31_nsh.c
@@ -0,0 +1,150 @@
+/****************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc31_nsh.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ****************************************************************************/
+
+/****************************************************************************
+ * Included Files
+ ****************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <stdbool.h>
+#include <stdio.h>
+#include <debug.h>
+#include <errno.h>
+
+#ifdef CONFIG_LPC31_MCI
+#  include <nuttx/sdio.h>
+#  include <nuttx/mmcsd.h>
+#endif
+
+#include "lpc31_internal.h"
+
+/****************************************************************************
+ * Pre-Processor Definitions
+ ****************************************************************************/
+
+/* Configuration ************************************************************/
+
+/* PORT and SLOT number probably depend on the board configuration */
+
+#define NSH_HAVEMMCSD  1
+
+#if defined(CONFIG_NSH_MMCSDSLOTNO) && CONFIG_NSH_MMCSDSLOTNO != 0
+#  error "Only one MMC/SD slot"
+#  undef CONFIG_NSH_MMCSDSLOTNO
+#endif
+#ifndef CONFIG_NSH_MMCSDSLOTNO
+#  define CONFIG_NSH_MMCSDSLOTNO 0
+#endif
+
+/* Can't support MMC/SD features if mountpoints are disabled or if SDIO support
+ * is not enabled.
+ */
+
+#if defined(CONFIG_DISABLE_MOUNTPOINT) || !defined(CONFIG_LPC31_MCI)
+#  undef NSH_HAVEMMCSD
+#endif
+
+#ifndef CONFIG_NSH_MMCSDMINOR
+#  define CONFIG_NSH_MMCSDMINOR 0
+#endif
+
+/* Debug ********************************************************************/
+
+#ifdef CONFIG_CPP_HAVE_VARARGS
+#  ifdef CONFIG_DEBUG
+#    define message(...) lowsyslog(__VA_ARGS__)
+#  else
+#    define message(...) printf(__VA_ARGS__)
+#  endif
+#else
+#  ifdef CONFIG_DEBUG
+#    define message lowsyslog
+#  else
+#    define message printf
+#  endif
+#endif
+
+/****************************************************************************
+ * Public Functions
+ ****************************************************************************/
+
+/****************************************************************************
+ * Name: nsh_archinitialize
+ *
+ * Description:
+ *   Perform architecture specific initialization
+ *
+ ****************************************************************************/
+
+int nsh_archinitialize(void)
+{
+#ifdef NSH_HAVEMMCSD
+  FAR struct sdio_dev_s *sdio;
+  int ret;
+
+  /* First, get an instance of the SDIO interface */
+
+  message("nsh_archinitialize: Initializing SDIO slot %d\n",
+          CONFIG_NSH_MMCSDSLOTNO);
+  sdio = sdio_initialize(CONFIG_NSH_MMCSDSLOTNO);
+  if (!sdio)
+    {
+      message("nsh_archinitialize: Failed to initialize SDIO slot %d\n",
+              CONFIG_NSH_MMCSDSLOTNO);
+      return -ENODEV;
+    }
+
+  /* Now bind the SPI interface to the MMC/SD driver */
+
+  message("nsh_archinitialize: Bind SDIO to the MMC/SD driver, minor=%d\n",
+          CONFIG_NSH_MMCSDMINOR);
+  ret = mmcsd_slotinitialize(CONFIG_NSH_MMCSDMINOR, sdio);
+  if (ret != OK)
+    {
+      message("nsh_archinitialize: Failed to bind SDIO to the MMC/SD driver: %d\n", ret);
+      return ret;
+    }
+  message("nsh_archinitialize: Successfully bound SDIO to the MMC/SD driver\n");
+  
+  /* Then let's guess and say that there is a card in the slot.  I need to check to
+   * see if the LPC-H3131 board supports a GPIO to detect if there is a card in
+   * the slot.
+   */
+
+   sdio_mediachange(sdio, true);
+#endif
+  return OK;
+}
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc31_spi.c b/nuttx/configs/olimex-lpc-h3131/src/lpc31_spi.c
new file mode 100644
index 000000000..8a53ba1b1
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc31_spi.c
@@ -0,0 +1,141 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc31_spi.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <stdint.h>
+#include <stdbool.h>
+#include <debug.h>
+
+#include <nuttx/spi/spi.h>
+#include <arch/board/board.h>
+
+#include "up_arch.h"
+#include "chip.h"
+#include "lpc31_internal.h"
+#include "lpc_h3131.h"
+
+#ifdef CONFIG_LPC31_SPI
+#if 0 /* At present, LPC-H3131 specific logic is hard-coded in the file lpc31_spi.c
+       * in arch/arm/src/lpc31xx */
+
+/************************************************************************************
+ * Definitions
+ ************************************************************************************/
+
+/* Enables debug output from this file (needs CONFIG_DEBUG too) */
+
+#undef SPI_DEBUG   /* Define to enable debug */
+#undef SPI_VERBOSE /* Define to enable verbose debug */
+
+#ifdef SPI_DEBUG
+#  define spidbg  lldbg
+#  ifdef SPI_VERBOSE
+#    define spivdbg lldbg
+#  else
+#    define spivdbg(x...)
+#  endif
+#else
+#  undef SPI_VERBOSE
+#  define spidbg(x...)
+#  define spivdbg(x...)
+#endif
+
+/************************************************************************************
+ * Private Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Public Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Name: lpc31_spiinitialize
+ *
+ * Description:
+ *   Called to configure SPI chip select GPIO pins for the LPC-H3131 board.
+ *
+ ************************************************************************************/
+
+void weak_function lpc31_spiinitialize(void)
+{
+  /* NOTE: Clocking for SPI has already been provided. Pin configuration is performed
+   * on-the-fly, so no additional setup is required.
+   */
+}
+
+/************************************************************************************
+ * Name:  lpc31_spiselect and lpc31_spistatus
+ *
+ * Description:
+ *   The external functions, lpc31_spiselect and lpc31_spistatus must be
+ *   provided by board-specific logic.  They are implementations of the select
+ *   and status methods of the SPI interface defined by struct spi_ops_s (see
+ *   include/nuttx/spi/spi.h). All other methods (including up_spiinitialize())
+ *   are provided by common LPC31XX logic.  To use this common SPI logic on your
+ *   board:
+ *
+ *   1. Provide logic in lpc31_boardinitialize() to configure SPI chip select
+ *      pins.
+ *   2. Provide lpc31_spiselect() and lpc31_spistatus() functions in your
+ *      board-specific logic.  These functions will perform chip selection and
+ *      status operations using GPIOs in the way your board is configured.
+ *   3. Add a calls to up_spiinitialize() in your low level application
+ *      initialization logic
+ *   4. The handle returned by up_spiinitialize() may then be used to bind the
+ *      SPI driver to higher level logic (e.g., calling
+ *      mmcsd_spislotinitialize(), for example, will bind the SPI driver to
+ *      the SPI MMC/SD driver).
+ *
+ ************************************************************************************/
+
+void lpc31_spiselect(FAR struct spi_dev_s *dev, enum spi_dev_e devid, bool selected)
+{
+  spidbg("devid: %d CS: %s\n", (int)devid, selected ? "assert" : "de-assert");
+#warning "Missing logic"
+}
+
+uint8_t lpc31_spistatus(FAR struct spi_dev_s *dev, enum spi_dev_e devid)
+{
+  return SPI_STATUS_PRESENT;
+}
+
+#endif /* 0 */
+#endif /* CONFIG_LPC31_SPI  */
+
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc31_usbhost.c b/nuttx/configs/olimex-lpc-h3131/src/lpc31_usbhost.c
new file mode 100644
index 000000000..e8155c1f9
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc31_usbhost.c
@@ -0,0 +1,311 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc31_usbhost.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <sys/types.h>
+#include <stdint.h>
+#include <stdbool.h>
+#include <sched.h>
+#include <errno.h>
+#include <assert.h>
+#include <debug.h>
+
+#include <nuttx/usb/usbdev.h>
+#include <nuttx/usb/usbhost.h>
+#include <nuttx/usb/usbdev_trace.h>
+
+#include "up_arch.h"
+
+#include "lpc31_internal.h"
+#include "lpc_h3131.h"
+
+#if defined(CONFIG_LPC31_USBOTG) || defined(CONFIG_USBHOST)
+
+/************************************************************************************
+ * Pre-processor Definitions
+ ************************************************************************************/
+
+#ifndef CONFIG_USBHOST_DEFPRIO
+#  define CONFIG_USBHOST_DEFPRIO 50
+#endif
+
+#ifndef CONFIG_USBHOST_STACKSIZE
+#  define CONFIG_USBHOST_STACKSIZE 1024
+#endif
+
+#ifdef HAVE_USBDEV
+#  undef CONFIG_LPC31_USBOTG_RHPORT1
+#endif
+
+/************************************************************************************
+ * Private Data
+ ************************************************************************************/
+/* Retained device driver handle */
+
+static struct usbhost_connection_s *g_ehciconn;
+
+/* Overcurrent interrupt handler */
+
+#if 0 /* Not yet implemented */
+static xcpt_t g_ochandler;
+#endif
+
+/************************************************************************************
+ * Private Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Name: ehci_waiter
+ *
+ * Description:
+ *   Wait for USB devices to be connected to the EHCI root hub.
+ *
+ ************************************************************************************/
+
+static int ehci_waiter(int argc, char *argv[])
+{
+  bool connected = false;
+  int rhpndx;
+  int ret;
+
+  uvdbg("Waiter Running\n");
+  for (;;)
+    {
+      /* Wait for the device to change state */
+
+      rhpndx = CONN_WAIT(g_ehciconn, &connected);
+      DEBUGASSERT(rhpndx >= 0 && rhpndx < 1);
+
+      connected = !connected;
+
+      uvdbg("RHport1 %s\n",
+            connected ? "connected" : "disconnected");
+
+      /* Did we just become connected? */
+
+      if (connected)
+        {
+          /* Yes.. enumerate the newly connected device */
+
+          ret = CONN_ENUMERATE(g_ehciconn, rhpndx);
+          if (ret < 0)
+            {
+              uvdbg("RHport1 CONN_ENUMERATE failed: %d\n", ret);
+              connected = false;
+            }
+        }
+    }
+
+  /* Keep the compiler from complaining */
+
+  return 0;
+}
+
+/************************************************************************************
+ * Public Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Name: lpc31_usbhost_bootinitialize
+ *
+ * Description:
+ *   Called from lpc31_boardinitialize very early in inialization to setup USB
+ *   host-related GPIO pins for the LPC-H3131 board.
+ *
+ *   SIGNAL      GPIO
+ *   ----------- -------
+ *   #OTG_PWR_E  GPIO19
+ *   #OTG_OVRCR  GPIO20
+ *
+ ************************************************************************************/
+
+void weak_function lpc31_usbhost_bootinitialize(void)
+{
+  /* Configure pin to drive VBUS power */
+#warning Missing logic
+
+  /* Configure pin to detect overrcurrent errors */
+#warning Missing logic
+}
+
+/***********************************************************************************
+ * Name: lpc31_usbhost_initialize
+ *
+ * Description:
+ *   Called at application startup time to initialize the USB host functionality.
+ *   This function will start a thread that will monitor for device
+ *   connection/disconnection events.
+ *
+ ***********************************************************************************/
+
+int lpc31_usbhost_initialize(void)
+{
+  pid_t pid;
+  int ret;
+
+  /* First, register all of the class drivers needed to support the drivers
+   * that we care about
+   *
+   * Register theUSB host Mass Storage Class:
+   */
+
+#ifdef CONFIG_USBHOST_MSC
+  ret = usbhost_storageinit();
+  if (ret != OK)
+    {
+      udbg("ERROR: Failed to register the mass storage class: %d\n", ret);
+    }
+#endif
+
+  /* Register the USB host HID keyboard class driver */
+
+#ifdef CONFIG_USBHOST_HIDKBD
+  ret = usbhost_kbdinit();
+  if (ret != OK)
+    {
+      udbg("ERROR: Failed to register the KBD class\n");
+    }
+#endif
+
+  /* Then get an instance of the USB EHCI interface. */
+
+  g_ehciconn = lpc31_ehci_initialize(0);
+  if (!g_ehciconn)
+    {
+      udbg("ERROR: lpc31_ehci_initialize failed\n");
+      return -ENODEV;
+    }
+
+  /* Start a thread to handle device connection. */
+
+  pid = TASK_CREATE("EHCI Monitor", CONFIG_USBHOST_DEFPRIO,  CONFIG_USBHOST_STACKSIZE,
+                    (main_t)ehci_waiter, (FAR char * const *)NULL);
+  if (pid < 0)
+    {
+      udbg("ERROR: Failed to create ehci_waiter task: %d\n", ret);
+      return -ENODEV;
+    }
+
+  return OK;
+}
+
+/***********************************************************************************
+ * Name: lpc31_usbhost_vbusdrive
+ *
+ * Description:
+ *   Enable/disable driving of VBUS 5V output.  This function must be provided by
+ *   each platform that implements the OHCI or EHCI host interface
+ *
+ * Input Parameters:
+ *   rhport - Selects root hub port to be powered host interface.  See SAM_RHPORT_*
+ *            definitions above.
+ *   enable - true: enable VBUS power; false: disable VBUS power
+ *
+ * Returned Value:
+ *   None
+ *
+ ***********************************************************************************/
+
+void lpc31_usbhost_vbusdrive(int rhport, bool enable)
+{
+  uvdbg("RHPort%d: enable=%d\n", rhport+1, enable);
+
+  /* The LPC3131 has only a single root hub port */
+
+  if (rhport == 0)
+    {
+      /* Then enable or disable VBUS power */
+
+      if (enable)
+        {
+          /* Enable the Power Switch by driving the enable pin low */
+#warning Missing logic
+        }
+      else
+        {
+          /* Disable the Power Switch by driving the enable pin high */
+#warning Missing logic
+        }
+    }
+}
+
+/************************************************************************************
+ * Name: lpc31_setup_overcurrent
+ *
+ * Description:
+ *   Setup to receive an interrupt-level callback if an overcurrent condition is
+ *   detected.
+ *
+ * Input parameter:
+ *   handler - New overcurrent interrupt handler
+ *
+ * Returned value:
+ *   Old overcurrent interrupt handler
+ *
+ ************************************************************************************/
+
+#if 0 /* Not ready yet */
+xcpt_t lpc31_setup_overcurrent(xcpt_t handler)
+{
+  xcpt_t oldhandler;
+  irqstate_t flags;
+
+  /* Disable interrupts until we are done.  This guarantees that the
+   * following operations are atomic.
+   */
+
+  flags = irqsave();
+
+  /* Get the old button interrupt handler and save the new one */
+
+  oldhandler  = g_ochandler;
+  g_ochandler = handler;
+
+  /* Configure the interrupt */
+#warning Missing logic
+
+  /* Return the old button handler (so that it can be restored) */
+
+  irqrestore(flags);
+  return oldhandler;
+}
+#endif /* 0 */
+
+#endif /* CONFIG_LPC31_USBOTG || CONFIG_USBHOST */
diff --git a/nuttx/configs/olimex-lpc-h3131/src/lpc_h3131.h b/nuttx/configs/olimex-lpc-h3131/src/lpc_h3131.h
new file mode 100644
index 000000000..71805b683
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/src/lpc_h3131.h
@@ -0,0 +1,156 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/src/lpc_h3131.h
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+#ifndef __CONFIGS_OLIMEX_LPC_H3131_SRC_LPC_H3131_H
+#define __CONFIGS_OLIMEX_LPC_H3131_SRC_LPC_H3131_H
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <nuttx/config.h>
+#include <nuttx/compiler.h>
+#include <stdint.h>
+
+#include "lpc31_ioconfig.h"
+
+/************************************************************************************
+ * Definitions
+ ************************************************************************************/
+
+/* LPC-H3131 GPIOs ******************************************************************/
+/* BUTTONS.  There are no user accessible buttons on the LPC-H3131 */
+
+/* LEDs
+ *
+ * SIGNAL COLOR  GPIO   ILLUMINATION
+ * ------ ------ ------ -----------------------
+ * LED1   Yellow GPIO17 High output illuminates
+ * LED2   Green  GPIO18 High output illuminates
+ */
+
+/* USB HOST
+ *
+ * SIGNAL      GPIO
+ * ----------- -------
+ * #OTG_PWR_E  GPIO19
+ * #OTG_OVRCR  GPIO20
+ */
+
+/* SPI Chip Selects */
+/* SPI NOR flash is the only device on SPI. SPI_CS_OUT0 is its chip select */
+
+#define SPINOR_CS IOCONFIG_SPI_CSOUT0
+
+/* USB Soft Connect Pullup -- NONE */
+
+/************************************************************************************
+ * Public Types
+ ************************************************************************************/
+
+/************************************************************************************
+ * Public data
+ ************************************************************************************/
+
+#ifndef __ASSEMBLY__
+
+/************************************************************************************
+ * Public Functions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Name: lpc31_meminitialize
+ *
+ * Description:
+ *   Initialize external memory resources (sram, sdram, nand, nor, etc.)
+ *
+ ************************************************************************************/
+
+#ifdef CONFIG_LPC31_EXTDRAM
+void lpc31_meminitialize(void);
+#endif
+
+/************************************************************************************
+ * Name: lpc31_spiinitialize
+ *
+ * Description:
+ *   Called to configure SPI chip select GPIO pins for the LPC-H3131 board.
+ *
+ ************************************************************************************/
+
+void weak_function lpc31_spiinitialize(void);
+
+/************************************************************************************
+ * Name: lpc31_usbdev_initialize
+ *
+ * Description:
+ *   Called to setup USB-related GPIO pins for the LPC-H3131 board.
+ *
+ ************************************************************************************/
+
+#if defined(CONFIG_LPC31_USBOTG) && defined(CONFIG_USBDEV)
+void weak_function lpc31_usbdev_initialize(void);
+#endif
+
+/************************************************************************************
+ * Name: lpc31_usbhost_bootinitialize
+ *
+ * Description:
+ *   Called from lpc31_boardinitialize very early in inialization to setup USB
+ *   host-related GPIO pins for the LPC-H3131 board.
+ *
+ ************************************************************************************/
+
+#if defined(CONFIG_LPC31_USBOTG) && defined(CONFIG_USBHOST)
+void weak_function lpc31_usbhost_bootinitialize(void);
+#endif
+
+/***********************************************************************************
+ * Name: lpc31_usbhost_initialize
+ *
+ * Description:
+ *   Called at application startup time to initialize the USB host functionality.
+ *   This function will start a thread that will monitor for device
+ *   connection/disconnection events.
+ *
+ ***********************************************************************************/
+
+#if defined(CONFIG_LPC31_USBOTG) && defined(CONFIG_USBHOST)
+int lpc31_usbhost_initialize(void);
+#endif
+
+#endif /* __ASSEMBLY__ */
+#endif /* __CONFIGS_OLIMEX_LPC_H3131_SRC_LPC_H3131_H */
+
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/Makefile b/nuttx/configs/olimex-lpc-h3131/tools/Makefile
new file mode 100644
index 000000000..5327928ac
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/Makefile
@@ -0,0 +1,53 @@
+############################################################################
+# configs/olimex-lpc-h3131/tools/Makefile
+#
+#   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+#   Author: Gregory Nutt <gnutt@nuttx.org>
+#
+# Redistribution and use in source and binary forms, with or without
+# modification, are permitted provided that the following conditions
+# are met:
+#
+# 1. Redistributions of source code must retain the above copyright
+#    notice, this list of conditions and the following disclaimer.
+# 2. Redistributions in binary form must reproduce the above copyright
+#    notice, this list of conditions and the following disclaimer in
+#    the documentation and/or other materials provided with the
+#    distribution.
+# 3. Neither the name NuttX nor the names of its contributors may be
+#    used to endorse or promote products derived from this software
+#    without specific prior written permission.
+#
+# THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+# "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+# LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+# FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+# COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+# INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+# BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+# OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+# AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+# LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+# ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+# POSSIBILITY OF SUCH DAMAGE.
+#
+############################################################################
+
+OBJS		= lpchdr.o crc32.o
+BIN		= lpchdr
+
+CFLAGS		+= -Wall -g
+
+all: $(BIN)
+.PHONY: clean
+
+$(OBJS): %.o: %.c
+	$(CC) -c $(CFLAGS) $< -o $@
+
+lpchdr: $(OBJS)
+	$(CC) -o $@ $^
+
+clean:
+	@rm -f $(BIN) *.o *~
+
+
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/armusbocd.cfg b/nuttx/configs/olimex-lpc-h3131/tools/armusbocd.cfg
new file mode 100644
index 000000000..012aa783a
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/armusbocd.cfg
@@ -0,0 +1,106 @@
+##################################################################
+# Settings taken from OpenOCD Version 0.7.0
+##################################################################
+##################################################################
+# daemon configuration
+##################################################################
+telnet_port 4444
+gdb_port 3333
+
+##################################################################
+# interface taken from scripts/interface/arm-usb-ocd.cfg
+##################################################################
+#
+# Olimex ARM-USB-OCD
+#
+# http://www.olimex.com/dev/arm-usb-ocd.html
+#
+
+interface ft2232
+ft2232_device_desc "Olimex OpenOCD JTAG"
+ft2232_layout "olimex-jtag"
+ft2232_vid_pid 0x15BA 0x0003
+
+##################################################################
+# Board-specific stuff
+##################################################################
+
+adapter_khz 1000
+reset_config trst_and_srst srst_pulls_trst
+
+##################################################################
+# target taken from scripts/target/lpc3131.cfg
+##################################################################
+
+if { [info exists CHIPNAME] } {
+   set _CHIPNAME $CHIPNAME
+} else {
+   set _CHIPNAME lpc3131
+}
+
+if { [info exists ENDIAN] } {
+   set _ENDIAN $ENDIAN
+} else {
+   set _ENDIAN little
+}
+
+# ARM926EJS core
+if { [info exists CPUTAPID] } {
+   set _CPUTAPID $CPUTAPID
+} else {
+   set _CPUTAPID 0x07926f0f
+}
+
+# Scan Tap
+# Wired to seperate STDO pin on the lpc3131, externally muxed to TDO on ea3131 module 
+# JTAGSEL pin must be 0 to activate, which reassigns arm tdo to a pass through.
+if { [info exists SJCTAPID] } {
+   set _SJCTAPID $SJCTAPID
+} else {
+   set _SJCTAPID 0x1541E02B
+}
+
+jtag newtap $_CHIPNAME cpu -irlen 4 -expected-id $_CPUTAPID
+
+##################################################################
+# various symbol definitions, to avoid hard-wiring addresses
+##################################################################
+
+global lpc313x
+set lpc313x [ dict create ]
+
+# Physical addresses for controllers and memory
+dict set lpc313x sram0			0x11028000
+dict set lpc313x sram1			0x11040000
+dict set lpc313x uart			0x15001000
+dict set lpc313x cgu			0x13004000
+dict set lpc313x ioconfig		0x13003000
+dict set lpc313x sysconfig		0x13002800
+dict set lpc313x wdt			0x13002400
+
+##################################################################
+# Target configuration
+##################################################################
+
+adapter_nsrst_delay 1000
+jtag_ntrst_delay 0
+
+set _TARGETNAME $_CHIPNAME.cpu
+target create $_TARGETNAME arm926ejs -endian $_ENDIAN -chain-position $_TARGETNAME 
+
+$_TARGETNAME invoke-event halted
+
+$_TARGETNAME configure -work-area-phys [dict get $lpc313x sram0] -work-area-size 0x30000 -work-area-backup 0
+
+$_TARGETNAME configure -event reset-init {
+	echo "\nRunning reset init script for LPC3131\n"
+	halt
+	wait_halt
+	reg cpsr 0xa00000d3	;#Supervisor mode
+	reg pc 0x11029000
+	poll
+	sleep 500
+}
+
+arm7_9 fast_memory_access enable
+arm7_9 dcc_downloads enable
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/crc32.c b/nuttx/configs/olimex-lpc-h3131/tools/crc32.c
new file mode 100644
index 000000000..ccb141685
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/crc32.c
@@ -0,0 +1,123 @@
+/************************************************************************************************
+ * configs/olimex-lpc-h3131/tools/crc32.c
+ *
+ * This file is a part of NuttX:
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *
+ * The logic in this file was developed by Gary S. Brown:
+ *
+ *   COPYRIGHT (C) 1986 Gary S. Brown.  You may use this program, or code or tables
+ *   extracted from it, as desired without restriction.
+ *
+ * First, the polynomial itself and its table of feedback terms.  The polynomial is:
+ *
+ *    X^32+X^26+X^23+X^22+X^16+X^12+X^11+X^10+X^8+X^7+X^5+X^4+X^2+X^1+X^0
+ *
+ * Note that we take it "backwards" and put the highest-order term in the lowest-order bit.
+ * The X^32 term is "implied"; the LSB is the X^31 term, etc.  The X^0 term (usually shown
+ * as "+1") results in the MSB being 1
+ *
+ * Note that the usual hardware shift register implementation, which is what we're using
+ * (we're merely optimizing it by doing eight-bit chunks at a time) shifts bits into the
+ * lowest-order term.  In our implementation, that means shifting towards the right.  Why
+ * do we do it this way?  Because the calculated CRC must be transmitted in order from
+ * highest-order term to lowest-order term.  UARTs transmit characters in order from LSB
+ * to MSB.  By storing the CRC this way we hand it to the UART in the order low-byte to
+ * high-byte; the UART sends each low-bit to hight-bit; and the result is transmission bit
+ * by bit from highest- to lowest-order term without requiring any bit shuffling on our
+ * part.  Reception works similarly
+ *
+ * The feedback terms table consists of 256, 32-bit entries.  Notes
+ *
+ * - The table can be generated at runtime if desired; code to do so is shown later.  It
+ *   might not be obvious, but the feedback terms simply represent the results of eight
+ *   shift/xor operations for all combinations of data and CRC register values
+ *
+ * - The values must be right-shifted by eight bits by the updcrc logic; the shift must
+ *   be u_(bring in zeroes).  On some hardware you could probably optimize the shift in
+ *   assembler by using byte-swap instructions polynomial $edb88320
+  ************************************************************************************************/
+
+/************************************************************************************************
+ * Included Files
+ ************************************************************************************************/
+
+#include <sys/types.h>
+#include <stdint.h>
+#include "lpchdr.h"
+
+/************************************************************************************************
+ * Private Data
+ ************************************************************************************************/
+ 
+static const uint32_t crc32_tab[] =
+{
+  0x00000000, 0x77073096, 0xee0e612c, 0x990951ba, 0x076dc419, 0x706af48f, 0xe963a535, 0x9e6495a3,
+  0x0edb8832, 0x79dcb8a4, 0xe0d5e91e, 0x97d2d988, 0x09b64c2b, 0x7eb17cbd, 0xe7b82d07, 0x90bf1d91,
+  0x1db71064, 0x6ab020f2, 0xf3b97148, 0x84be41de, 0x1adad47d, 0x6ddde4eb, 0xf4d4b551, 0x83d385c7,
+  0x136c9856, 0x646ba8c0, 0xfd62f97a, 0x8a65c9ec, 0x14015c4f, 0x63066cd9, 0xfa0f3d63, 0x8d080df5,
+  0x3b6e20c8, 0x4c69105e, 0xd56041e4, 0xa2677172, 0x3c03e4d1, 0x4b04d447, 0xd20d85fd, 0xa50ab56b,
+  0x35b5a8fa, 0x42b2986c, 0xdbbbc9d6, 0xacbcf940, 0x32d86ce3, 0x45df5c75, 0xdcd60dcf, 0xabd13d59,
+  0x26d930ac, 0x51de003a, 0xc8d75180, 0xbfd06116, 0x21b4f4b5, 0x56b3c423, 0xcfba9599, 0xb8bda50f,
+  0x2802b89e, 0x5f058808, 0xc60cd9b2, 0xb10be924, 0x2f6f7c87, 0x58684c11, 0xc1611dab, 0xb6662d3d,
+  0x76dc4190, 0x01db7106, 0x98d220bc, 0xefd5102a, 0x71b18589, 0x06b6b51f, 0x9fbfe4a5, 0xe8b8d433,
+  0x7807c9a2, 0x0f00f934, 0x9609a88e, 0xe10e9818, 0x7f6a0dbb, 0x086d3d2d, 0x91646c97, 0xe6635c01,
+  0x6b6b51f4, 0x1c6c6162, 0x856530d8, 0xf262004e, 0x6c0695ed, 0x1b01a57b, 0x8208f4c1, 0xf50fc457,
+  0x65b0d9c6, 0x12b7e950, 0x8bbeb8ea, 0xfcb9887c, 0x62dd1ddf, 0x15da2d49, 0x8cd37cf3, 0xfbd44c65,
+  0x4db26158, 0x3ab551ce, 0xa3bc0074, 0xd4bb30e2, 0x4adfa541, 0x3dd895d7, 0xa4d1c46d, 0xd3d6f4fb,
+  0x4369e96a, 0x346ed9fc, 0xad678846, 0xda60b8d0, 0x44042d73, 0x33031de5, 0xaa0a4c5f, 0xdd0d7cc9,
+  0x5005713c, 0x270241aa, 0xbe0b1010, 0xc90c2086, 0x5768b525, 0x206f85b3, 0xb966d409, 0xce61e49f,
+  0x5edef90e, 0x29d9c998, 0xb0d09822, 0xc7d7a8b4, 0x59b33d17, 0x2eb40d81, 0xb7bd5c3b, 0xc0ba6cad,
+  0xedb88320, 0x9abfb3b6, 0x03b6e20c, 0x74b1d29a, 0xead54739, 0x9dd277af, 0x04db2615, 0x73dc1683,
+  0xe3630b12, 0x94643b84, 0x0d6d6a3e, 0x7a6a5aa8, 0xe40ecf0b, 0x9309ff9d, 0x0a00ae27, 0x7d079eb1,
+  0xf00f9344, 0x8708a3d2, 0x1e01f268, 0x6906c2fe, 0xf762575d, 0x806567cb, 0x196c3671, 0x6e6b06e7,
+  0xfed41b76, 0x89d32be0, 0x10da7a5a, 0x67dd4acc, 0xf9b9df6f, 0x8ebeeff9, 0x17b7be43, 0x60b08ed5,
+  0xd6d6a3e8, 0xa1d1937e, 0x38d8c2c4, 0x4fdff252, 0xd1bb67f1, 0xa6bc5767, 0x3fb506dd, 0x48b2364b,
+  0xd80d2bda, 0xaf0a1b4c, 0x36034af6, 0x41047a60, 0xdf60efc3, 0xa867df55, 0x316e8eef, 0x4669be79,
+  0xcb61b38c, 0xbc66831a, 0x256fd2a0, 0x5268e236, 0xcc0c7795, 0xbb0b4703, 0x220216b9, 0x5505262f,
+  0xc5ba3bbe, 0xb2bd0b28, 0x2bb45a92, 0x5cb36a04, 0xc2d7ffa7, 0xb5d0cf31, 0x2cd99e8b, 0x5bdeae1d,
+  0x9b64c2b0, 0xec63f226, 0x756aa39c, 0x026d930a, 0x9c0906a9, 0xeb0e363f, 0x72076785, 0x05005713,
+  0x95bf4a82, 0xe2b87a14, 0x7bb12bae, 0x0cb61b38, 0x92d28e9b, 0xe5d5be0d, 0x7cdcefb7, 0x0bdbdf21,
+  0x86d3d2d4, 0xf1d4e242, 0x68ddb3f8, 0x1fda836e, 0x81be16cd, 0xf6b9265b, 0x6fb077e1, 0x18b74777,
+  0x88085ae6, 0xff0f6a70, 0x66063bca, 0x11010b5c, 0x8f659eff, 0xf862ae69, 0x616bffd3, 0x166ccf45,
+  0xa00ae278, 0xd70dd2ee, 0x4e048354, 0x3903b3c2, 0xa7672661, 0xd06016f7, 0x4969474d, 0x3e6e77db,
+  0xaed16a4a, 0xd9d65adc, 0x40df0b66, 0x37d83bf0, 0xa9bcae53, 0xdebb9ec5, 0x47b2cf7f, 0x30b5ffe9,
+  0xbdbdf21c, 0xcabac28a, 0x53b39330, 0x24b4a3a6, 0xbad03605, 0xcdd70693, 0x54de5729, 0x23d967bf,
+  0xb3667a2e, 0xc4614ab8, 0x5d681b02, 0x2a6f2b94, 0xb40bbe37, 0xc30c8ea1, 0x5a05df1b, 0x2d02ef8d
+};
+
+/************************************************************************************************
+ * Public Functions
+ ************************************************************************************************/
+/************************************************************************************************
+ * Name: crc32part
+ *
+ * Description:
+ *   Continue CRC calculation on a part of the buffer.
+ *
+ ************************************************************************************************/
+
+uint32_t crc32part(const uint8_t *src, size_t len, uint32_t crc32val)
+{
+  size_t i;
+
+  for (i = 0;  i < len;  i++)
+    {
+      crc32val = crc32_tab[(crc32val ^ src[i]) & 0xff] ^ (crc32val >> 8);
+    }
+  return crc32val;
+}
+
+/************************************************************************************************
+ * Name: crc32
+ *
+ * Description:
+ *   Return a 32-bit CRC of the contents of the 'src' buffer, length 'len'
+ *
+ ************************************************************************************************/
+
+uint32_t crc32(const uint8_t *src, size_t len)
+{
+  return crc32part(src, len, 0);
+}
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.c b/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.c
new file mode 100644
index 000000000..178cce21b
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.c
@@ -0,0 +1,297 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/tools/lpchdr.c
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <sys/types.h>
+#include <sys/stat.h>
+#include <stdio.h>
+#include <stdlib.h>
+#include <unistd.h>
+#include <stdint.h>
+#include <string.h>
+#include <fcntl.h>
+#include <errno.h>
+#include "lpchdr.h"
+
+/************************************************************************************
+ * Pre-processor Definitions
+ ************************************************************************************/
+
+#define IO_BUF_SIZE  1024
+#define HDR_SIZE     0x80
+#define HDR_CRC_SIZE 0x6c
+
+/************************************************************************************
+ * Private Data
+ ************************************************************************************/
+
+static const char *g_infile;
+static const char *g_outfile;
+
+/************************************************************************************
+ * Private Functions
+ ************************************************************************************/
+
+static void show_usage(const char *progname, int exitcode)
+{
+  fprintf(stderr, "%s -o <outfile> <infile>\n", progname);
+  exit(exitcode);
+}
+
+static void parse_args(int argc, char **argv)
+{
+  int ch;
+
+  while ((ch = getopt(argc, argv, ":o:")) >= 0)
+    {
+      switch (ch)
+        {
+          case 'o':
+            g_outfile = optarg;
+            break;
+
+          case ':':
+            fprintf(stderr, "Missing option argumen\n");
+            show_usage(argv[0], 1);
+
+          case '?':
+          default:
+            fprintf(stderr, "Unrecognized option\n");
+            show_usage(argv[0], 1);
+        }
+    }
+
+  if (optind >= argc)
+    {
+      fprintf(stderr, "Missing binary input file name\n");
+      show_usage(argv[0], 1);
+    }
+
+  g_infile = argv[optind];
+  optind++;
+
+  if (optind < argc)
+    {
+      fprintf(stderr, "Garbage at the end of the command line\n");
+      show_usage(argv[0], 1);
+    }
+}
+
+static inline uint32_t infilecrc32(int infd, size_t len, size_t padlen)
+{
+  off_t offset;
+  uint8_t buffer[IO_BUF_SIZE];
+  ssize_t nbytes;
+  size_t bytesread;
+  uint32_t crc;
+
+  offset = lseek(infd, 0, SEEK_SET);
+  if (offset == (off_t)-1)
+    {
+      fprintf(stderr, "lseek failed: %s\n", strerror(errno));
+      exit(4);
+    }
+
+  crc = 0;
+  for (bytesread = 0; bytesread < len; bytesread += nbytes)
+    {
+      nbytes = read(infd, buffer, IO_BUF_SIZE);
+      if (nbytes < 0)
+        {
+          fprintf(stderr, "read failed: %s\n", strerror(errno));
+          exit(4);
+        }
+      else if (nbytes == 0)
+        {
+          fprintf(stderr, "Unexpected end-of-file: %s\n", strerror(errno));
+          exit(4);
+        }
+      else
+        {
+          crc = crc32part(buffer, nbytes, crc);
+        }
+    }
+
+  /* Add the zero-padding at the end of the binary in the CRC */
+
+  memset(buffer, 0, IO_BUF_SIZE);
+  return crc32part(buffer, padlen, crc);
+}
+
+static inline void writefile(int infd, int outfd, size_t len, size_t padlen)
+{
+  off_t offset;
+  uint8_t buffer[IO_BUF_SIZE];
+  ssize_t nbytesread;
+  ssize_t nbyteswritten;
+  size_t totalread;
+
+  offset = lseek(infd, 0, SEEK_SET);
+  if (offset == (off_t)-1)
+    {
+      fprintf(stderr, "lseek failed: %s\n", strerror(errno));
+      exit(4);
+    }
+
+  for (totalread = 0; totalread < len; totalread += nbytesread)
+    {
+      nbytesread = read(infd, buffer, IO_BUF_SIZE);
+      if (nbytesread < 0)
+        {
+          fprintf(stderr, "read failed: %s\n", strerror(errno));
+          exit(4);
+        }
+      else if (nbytesread == 0)
+        {
+          fprintf(stderr, "Unexpected end-of-file: %s\n", strerror(errno));
+          exit(4);
+        }
+      else
+        {
+          nbyteswritten = write(outfd, buffer, nbytesread);
+          if (nbyteswritten < 0)
+            {
+              fprintf(stderr, "write failed: %s\n", strerror(errno));
+              exit(4);
+            }
+          else if (nbyteswritten != nbytesread)
+            {
+              fprintf(stderr, "Short writes not handled\n");
+              exit(4);
+            }
+        }
+    }
+
+  /* Write the zero-padding at the end of the binary */
+
+  memset(buffer, 0, IO_BUF_SIZE);
+  nbyteswritten = write(outfd, buffer, padlen);
+  if (nbyteswritten < 0)
+    {
+      fprintf(stderr, "write failed: %s\n", strerror(errno));
+      exit(4);
+    }
+  else if (nbyteswritten != padlen)
+    {
+      fprintf(stderr, "Short writes not handled\n");
+      exit(4);
+    }
+}
+
+/************************************************************************************
+ * Public Functions
+ ************************************************************************************/
+
+int main(int argc, char **argv, char **envp)
+{
+  struct lpc31_header_s g_hdr;
+  struct stat buf;
+  ssize_t nbytes;
+  size_t padlen;
+  int infd;
+  int outfd;
+  int ret;
+
+  /* Parse arguments */
+
+  parse_args(argc, argv);
+
+  /* Open files */
+
+  infd = open(g_infile, O_RDONLY);
+  if (infd < 0)
+    {
+      fprintf(stderr, "Failed to open %s for reading: %s\n", g_infile, strerror(errno));
+      exit(2);
+    }
+
+  outfd = open(g_outfile, O_WRONLY|O_CREAT|O_TRUNC, 0644);
+  if (outfd < 0)
+    {
+      fprintf(stderr, "Failed to open %s for writing: %s\n", g_outfile, strerror(errno));
+      exit(2);
+    }
+
+  /* Get the size of the binary file */
+
+  ret = fstat(infd, &buf);
+  if (ret < 0)
+    {
+      fprintf(stderr, "stat of %s failed: %s\n", g_infile, strerror(errno));
+      exit(3);
+    }
+
+  /* Initialize the header */
+
+  memset(&g_hdr, 0, sizeof(struct lpc31_header_s));
+  g_hdr.vector          = 0xea00001e;  /* b 0x11029080 */
+  g_hdr.magic           = 0x41676d69;
+#if 1 /* CRC doesn't seem to be functional */
+  g_hdr.imageType       = 0x0000000a;
+#else
+  g_hdr.imageType       = 0x0000000b;
+#endif
+  g_hdr.imageLength     = (buf.st_size + sizeof(struct lpc31_header_s) + 511) & ~0x1ff;
+
+  /* This is how much we must pad at the end of the binary image. */
+
+  padlen                = g_hdr.imageLength - buf.st_size;
+
+  /* Calculate CRCs */
+ 
+  g_hdr.execution_crc32 = infilecrc32(infd, buf.st_size, padlen);
+  g_hdr.header_crc32    = crc32((const uint8_t*)&g_hdr, HDR_CRC_SIZE);
+
+  /* Write the header */
+
+  nbytes = write(outfd, &g_hdr, HDR_SIZE);
+  if (nbytes != 0x80)
+    {
+      fprintf(stderr, "write of header to of %s failed: %s\n", g_outfile, strerror(errno));
+      exit(4);
+    }
+
+  /* Copy the input file to the output */
+
+  writefile(infd, outfd, buf.st_size, padlen);
+  close(infd);
+  close(outfd);
+  return 0;
+}
+
+  
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.h b/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.h
new file mode 100644
index 000000000..ea30df072
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/lpchdr.h
@@ -0,0 +1,105 @@
+/************************************************************************************
+ * configs/olimex-lpc-h3131/tools/lpchdr.h
+ *
+ *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
+ *
+ * Redistribution and use in source and binary forms, with or without
+ * modification, are permitted provided that the following conditions
+ * are met:
+ *
+ * 1. Redistributions of source code must retain the above copyright
+ *    notice, this list of conditions and the following disclaimer.
+ * 2. Redistributions in binary form must reproduce the above copyright
+ *    notice, this list of conditions and the following disclaimer in
+ *    the documentation and/or other materials provided with the
+ *    distribution.
+ * 3. Neither the name NuttX nor the names of its contributors may be
+ *    used to endorse or promote products derived from this software
+ *    without specific prior written permission.
+ *
+ * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+ * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+ * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+ * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+ * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+ * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+ * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
+ * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
+ * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+ * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+ * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+ * POSSIBILITY OF SUCH DAMAGE.
+ *
+ ************************************************************************************/
+
+#ifndef __CONFIGS_OLIMEX_LPC_H3131_TOOLS_LPCHDR_H
+#define __CONFIGS_OLIMEX_LPC_H3131_TOOLS_LPCHDR_H
+
+/************************************************************************************
+ * Included Files
+ ************************************************************************************/
+
+#include <stdint.h>
+
+/************************************************************************************
+ * Definitions
+ ************************************************************************************/
+
+/************************************************************************************
+ * Public Types
+ ************************************************************************************/
+
+struct lpc31_header_s
+{
+                              /* OFFS DESCRIPTION */
+  uint32_t vector;            /* 0x00    Valid ARM instruction. Usually this will be
+                               *    a branch instruction to entry point of the
+                               *    image. */
+  uint32_t magic;             /* 0x04    This field is used by boot ROM to detect a
+                               *    valid image header. This field should always
+                               *    be set to 0x41676d69. */
+  uint32_t execution_crc32;   /* 0x08    CRC32 value of execution part of the image. If
+                               *    the ‘image_type’ is set to ‘0xA’, this field
+                               *    is ignored by boot ROM. */
+  uint32_t Reserved0[4];      /* 0x0c-0x18: Should be zero. */
+  uint32_t imageType;         /* 0x1c Specifies whether CRC check should be done
+                               *    on the image or not:
+                               *      0xA – No CRC check required.
+                               *      0xB – Do CRC32 check on both header and
+                               *            execution part of the image. */
+  uint32_t imageLength;       /* 0x20    Total image length including header rounded
+                               *    up to the nearest 512 byte boundary. In C 
+                               *    language the field can be computed as:
+                               *    imageLength = (Actual length + 511) & ~0x1FF; */
+  uint32_t releaseID;         /* 0x24    Release or version number of the image. Note,
+                               *    this field is not used by boot ROM but is
+                               *    provided to track the image versions. */
+  uint32_t buildTime;         /* 0x28 Time (expressed in EPOC time format) at which
+                               *    image is built. Note, this field is not used
+                               *    by boot ROM but is provided to track the image
+                               *    versions. */
+  uint32_t sbzBootParameter;  /* 0x2c    hould be zero. */
+  uint32_t cust_reserved[15]; /* 0x30-0x68: Reserved for customer use (60 bytes) */
+  uint32_t header_crc32;      /* 0x6c CRC32 value of the header (bytes 0x00 to 0x6C
+                               *    of the image). If the ‘image_type’ is set
+                               *    to ‘0xA’, this field is ignored by boot ROM. */
+  uint32_t Reserved1[4];      /* 0x70-0x7c: Should be zero. */
+                              /* 0x80    Start of program code (128Kb max).  The final
+                               *    image has to be padded to the nearest 512
+                               *    byte boundary */
+};
+
+/************************************************************************************
+ * Public data
+ ************************************************************************************/
+
+/************************************************************************************
+ * Public Functions
+ ************************************************************************************/
+
+extern uint32_t crc32part(const uint8_t *src, size_t len, uint32_t crc32val);
+extern uint32_t crc32(const uint8_t *src, size_t len);
+
+#endif /* __CONFIGS_OLIMEX_LPC_H3131_TOOLS_LPCHDR_H */
+
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/mklpc.sh b/nuttx/configs/olimex-lpc-h3131/tools/mklpc.sh
new file mode 100755
index 000000000..3f8de2d88
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/mklpc.sh
@@ -0,0 +1,60 @@
+#!/bin/sh
+
+# This script lies in sub-directory configs/olimex-lpc-h3131/tools but make be executed
+# from either that directory or TOPDIR
+
+MYNAME=`basename $0`
+if [ -x "$PWD/$MYNAME" ]; then
+	TOPDIR="$PWD/../../.."
+else
+	if [ -x "$PWD/configs/olimex-lpc-h3131/tools/$MYNAME" ]; then
+		TOPDIR="$PWD"
+	else
+		echo "This script must be executed from a known director"
+		exit 1
+	fi
+fi
+echo "TOOLDIR: $TOOLDIR"
+
+# The lpchdr could be named lpchdr.exe if we are running under Cygwin or
+# just lpchdr under Linux
+
+TOOLDIR=$TOPDIR/configs/olimex-lpc-h3131/tools
+
+if [ ! -d "$TOOLDIR" ]; then
+	echo "Tool directory $TOOLDIR does not exist"
+	exit 1
+fi
+
+if [ -x "$TOOLDIR/lpchdr.exe" ]; then
+	LPCHDR="$TOOLDIR/lpchdr.exe"
+else
+	if  [ -x "$TOOLDIR/lpchdr" ]; then
+		LPCHDR="$TOOLDIR/lpchdr"
+	else
+		echo "lpchdr executable does not exist in $TOODIR"
+		echo " - cd $TOOLDIR"
+		echo " - make"
+	fi
+fi
+echo "LPCHDR: $LPCHDR"
+
+# Now get the path to the NuttX executable
+
+NUTTXPATH="$TOPDIR/nuttx.bin"
+
+if [ ! -f "$NUTTXPATH" ]; then
+	echo "NuttX binary does not exist at $NUTTXPATH"
+	echo " - cd $TOPDIR"
+	echo " - make"
+	exit 1
+fi
+echo "NUTTXPATH: $NUTTXPATH"
+
+# Create the binary
+
+echo "COMMAND: $LPCHDR -o $TOPDIR/nuttx.lpc $NUTTXPATH"
+"$LPCHDR" -o "$TOPDIR/nuttx.lpc" "$NUTTXPATH" || \
+	{ echo "$LPCHDR failed" ; exit 1 ; }
+echo "Successfully created binary"
+
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/oocd.sh b/nuttx/configs/olimex-lpc-h3131/tools/oocd.sh
new file mode 100755
index 000000000..655f52d9c
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/oocd.sh
@@ -0,0 +1,61 @@
+#!/bin/sh
+#
+# See configs/olimex-lpc-h3131/README.txt for information about
+# this file.
+
+TOPDIR=$1
+USAGE="$0 <TOPDIR> [-d]"
+if [ -z "${TOPDIR}" ]; then
+	echo "Missing argument"
+	echo $USAGE
+	exit 1
+fi
+
+# Places where OpenOCD has been installed
+#OPENOCD_PATH="/cygdrive/c/OpenOCD/openocd-0.4.0/src"
+#OPENOCD_PATH="/cygdrive/c/gccfd/openocd/bin"
+OPENOCD_PATH="/usr/local/bin"
+
+#TARGET_PATH="c:\OpenOCD\openocd-0.4.0\tcl"
+TARGET_PATH="/usr/local/share/openocd/scripts"
+
+# OPENOCD_EXE=openocd-ftd2xx.exe
+OPENOCD_EXE=openocd.exe
+
+#OPENOCD_CFG=`cygpath -w "${TOPDIR}/configs/olimex-lpc1766stk/tools/olimex.cfg"`
+OPENOCD_CFG="${TOPDIR}/configs/olimex-lpc-h3131/tools/armusbocd.cfg"
+
+# OPENOCD_ARGS="-f `cygpath -w ${OPENOCD_CFG}` -s `cygpath -w  ${TARGET_PATH}`"
+# OPENOCD_ARGS="-f interface/arm-usb-ocd.cfg -f target/lpc3131.cfg -c \"adapter_khz 1000\""
+OPENOCD_ARGS="-f ${OPENOCD_CFG} -s ${TARGET_PATH} "
+
+if [ "X$2" = "X-d" ]; then
+	OPENOCD_ARGS=$OPENOCD_ARGS" -d3"
+	set -x
+fi
+
+if [ ! -d ${OPENOCD_PATH} ]; then
+	echo "OpenOCD path does not exist: ${OPENOCD_PATH}"
+	exit 1
+fi
+if [ ! -x ${OPENOCD_PATH}/${OPENOCD_EXE} ]; then
+	echo "OpenOCD does not exist: ${OPENOCD_PATH}/${OPENOCD_EXE}"
+	exit 1
+fi
+if [ ! -f ${OPENOCD_CFG} ]; then
+	echo "OpenOCD config file does not exist: ${OPENOCD_CFG}"
+	exit 1
+fi
+
+echo "Starting OpenOCD"
+#${OPENOCD_PATH}/${OPENOCD_EXE} ${OPENOCD_ARGS} &
+cd ${OPENOCD_PATH} || { echo "Failed to CD to ${OPENOCD_PATH}"; exit 1; }
+${OPENOCD_EXE} ${OPENOCD_ARGS} &
+
+echo "OpenOCD daemon started"
+ps -ef | grep openocd
+echo "In GDB: target remote localhost:3333"
+
+
+
+
diff --git a/nuttx/configs/olimex-lpc-h3131/tools/usb-driver.txt b/nuttx/configs/olimex-lpc-h3131/tools/usb-driver.txt
new file mode 100644
index 000000000..83d7598a5
--- /dev/null
+++ b/nuttx/configs/olimex-lpc-h3131/tools/usb-driver.txt
@@ -0,0 +1,25 @@
+https://www.olimex.com/dev/pdf/ARM/JTAG/Repair%20Procedure%20for%20OpenOcd-Rev.%20G%20drivers.pdf
+
+Repair procedure for ARM-USB-OCD drivers
+
+1.   Uninstalling ARM-USB-OCD drivers
+-------------------------------------
+1.1. Connect your programmer/debugger to your computer, open Device Manager
+     and uninstall the drivers for ARM-USB-OCD.
+1.2. After you have uninstalled ARM-USB-TINY driver from Device Manager,
+     disconnect the programmer from your computer.
+1.3. Now you should download FTClean.exe from here:
+     http://www.ftdichip.com/Support/Utilities/FTClean.zip.
+1.4. After download is complete extract the "*.zip" file, open folder FTClean,
+     and run FTClean.exe
+1.5. Ror VID (Hex) select "Other". And after that fill the first box with 15ba
+     and "PID (Hex)" with 0004.
+1.6. Press "Clean System" button.  Make sure that all FTDI devices are
+     disconnected. (My require administrator privileges).
+
+2. Re-installing the ARM-USB-OCD driver
+---------------------------------------
+2.1 Connect the programmer/debugger to the computer.
+2.2 When prompted, browse to the C:\gccfd\DRIVERS\ARM-USB-OCD-DRIVER
+    directory and install. (A different driver is required for OpenOCD
+    0.4.0.  That driver is available from the olimex.com web site).