From 507df7c0e8e2bb2959a62dc802408d701bf21c3b Mon Sep 17 00:00:00 2001
From: patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>
Date: Wed, 25 May 2011 23:43:40 +0000
Subject: [PATCH] Documentation update

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@3643 42af7a65-404d-4744-a932-0658087f49c3
---
 ChangeLog                            |   4 +-
 Documentation/NuttX.html             |  22 ++-
 Documentation/NuttxPortingGuide.html | 242 +++++++++++++++++++++++++--
 configs/README.txt                   |  78 +++++----
 4 files changed, 303 insertions(+), 43 deletions(-)

diff --git a/ChangeLog b/ChangeLog
index 7b700a0d289..d43911d1797 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1765,7 +1765,9 @@
 	* lib/drivers/cc1101: Add initial, functional CC1101 wireless driver
 	  (contributed by Uros Platise)
 	* arch/mips and configs/pcblogic-pic32mx: The MicroChip PIC32MX port is now
-	  code complete and ready to begin testing.
+	  code complete and ready to begin testing.  Unfortunately, it looks like
+      testing will be delayed due to tool issues (My PICkit 2 will not work the
+      the MPLAB debugger on PIC32; I will need to get a PICkit 3).
 	* drivers/net/e1000.c/h: A PCI-based E1000 ethernet driver submitted
 	  by Yu Qiang.
 	* lib/net/lib_inetaddr.c: An implementatino of the inet_addr() function
diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 65a8744d837..b29bf7ab0ac 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -8,7 +8,7 @@
   <tr align="center" bgcolor="#e4e4e4">
     <td>
       <h1><big><font color="#3c34ec"><i>NuttX RTOS</i></font></big></h1>
-      <p>Last Updated: May 15, 2011</p>
+      <p>Last Updated: May 25, 2011</p>
     </td>
   </tr>
 </table>
@@ -1618,8 +1618,9 @@
     <ul>
       <p>
        <b>STATUS:</b>
-       This port is in its very earliest stages -- most just header file development.
-       Stay tuned for future releases including verified PIC32 support.
+       This port is code complete and has begun testing.
+       Testing is, unfortunately, delayed until I obtain some additional test equipment
+       (you can't use PICkit 2 with the PIC32; you need PICkit 3).
       </p>
     </ul>
   </td>
@@ -2304,8 +2305,23 @@ buildroot-1.10 2011-05-06 &lt;spudmonkey@racsa.co.cr&gt;
 <ul><pre>
 nuttx-6.4 2011-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
+    * lib/drivers/cc1101: Add initial, functional CC1101 wireless driver
+      (contributed by Uros Platise)
+    * arch/mips and configs/pcblogic-pic32mx: The MicroChip PIC32MX port is now
+      code complete and ready to begin testing.  Unfortunately, it looks like
+      testing will be delayed due to tool issues (My PICkit 2 will not work the
+      the MPLAB debugger on PIC32; I will need to get a PICkit 3).
+    * drivers/net/e1000.c/h: A PCI-based E1000 ethernet driver submitted
+      by Yu Qiang.
+    * lib/net/lib_inetaddr.c: An implementatino of the inet_addr() function
+     submitted y Yu Qiang.
+
 apps-6.4 2011-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
+    * nshlib/nsh_netcmds.c: If a network device name and IP address are provided
+      with the ifconfig command, then this command will now set the network address.
+      (Contributed by Yu Qiang).
+
 pascal-3.1 2011-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
 buildroot-1.11 2011-xx-xx &lt;spudmonkey@racsa.co.cr&gt;
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 3c122166b46..fb06f794ee5 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: May 11, 2011</p>
+      <p>Last Updated: May 25, 2011</p>
     </td>
   </tr>
 </table>
@@ -741,12 +741,44 @@
   as described <a href="#configuringnuttx">below</a>.
 </p>
 <ul>
+  <li><code>configs/avr32dev1</code>:
+    This is a port of NuttX to the Atmel AVR32DEV1 board.  That board is
+    based on the Atmel AT32UC3B0256 MCU and uses a specially patched
+    version of the GNU toolchain:  The patches provide support for the
+    AVR32 family.  That patched GNU toolchain is available only from the
+    Atmel website.  STATUS: This port is functional but very basic.  There
+    are configurations for NSH and the OS test.
+  </li>
+
   <li><code>configs/c5471evm</code>:
     This is a port to the Spectrum Digital C5471 evaluation board.  The
     C5471 is a dual core processor from TI with an ARM7TDMI general purpose
-    processor and a c54 SDP.  NuttX runs on the ARM core and is built with
-    with a GNU arm-elf toolchain* under Linux or Cygwin.
-    This port is complete, verified, and included in the NuttX release.
+    processor and a c54 DSP.  It is also known as TMS320DA180 or just DA180.
+    NuttX runs on the ARM core and is built with with a GNU arm-elf toolchain
+    under Linux or Cygwin. This port is complete and verified.
+  </li>
+
+  <li><code>configs/demo9s12ne64</code>:
+    Feescale DMO9S12NE64 board based on the MC9S12NE64 hcs12 cpu.  This
+    port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
+    is code complete but has not yet been verified.
+  </li>
+
+  <li><code>configs/detron</code>:
+    This is a  NuttX port to the Detron LPC1768 board from Decio Renno
+    (<a href="http://www.detroneletronica.com.br/">Detron Electronica</a>)
+  </li>
+
+  <li><code>configs/ea3131</code>:
+    Embedded Artists EA3131 Development bard.  This board is based on the 
+    an NXP LPC3131 MCU. This OS is built with the arm-elf toolchain.
+    STATUS:  This port is complete and mature.
+  </li>
+
+  <li><code>configs/eagle100</code>:
+    Micromint Eagle-100 Development board.  This board is based on the 
+    an ARM Cortex-M3 MCU, the Luminary LM3S6918. This OS is built with the
+    arm-elf toolchain.  STATUS:  This port is complete and mature.
   </li>
 
   <li><code>configs/ez80f0910200kitg</code>
@@ -755,9 +787,38 @@
     tools.  The development environment is Cygwin under WinXP.
   </li>
 
+  <li><code>configs/ez80f910200zco</code>:
+    ez80Acclaim! Microcontroller.  This port use the Zilog ez80f0910200zco
+    development kit, eZ80F091 part, and the Zilog ZDS-II Windows command line
+    tools.  The development environment is Cygwin under WinXP.
+  </li>
+
+  <li><code>configs/lm3s6965-ek</code>:
+    Stellaris LM3S6965 Evaluation Kit.  This board is based on the 
+    an ARM Cortex-M3 MCU, the Luminary/TI LM3S6965. This OS is built with the
+    arm-elf toolchain.  STATUS:  This port is complete and mature.
+  </li>
+
+  <li><code>configs/lm3s8962-ek</code>:
+    Stellaris LMS38962 Evaluation Kit. STATUS: contributed.
+  </li>
+
+  <li><code>configs/lpcxpresso-lpc1768</code>:
+    Embedded Artists base board with NXP LPCExpresso LPC1768.  This board
+    is based on the NXP LPC1768.  The Code Red toolchain is used by default.
+    STATUS:  Under development.
+  </li>
+
   <li><code>configs/m68322evb</code>:
-    This is a work in progress for the venerable m68322evb board from
-    Motorola.
+    This is a partial port for the venerable m68322evb board from Motorola.
+    This port was never completed and there are no plans to complete.
+    It will probably just be removed from the source tree at some point.
+  </li>
+
+  <li><code>configs/mbed</code>:
+    The configurations in this directory support the mbed board (http://mbed.org)
+    that features the NXP LPC1768 microcontroller. This OS is also built
+    with the arm-elf toolchain.  STATUS:  Contributed.
   </li>
 
   <li><code>configs/mcu123-lpc214x</code>:
@@ -767,6 +828,20 @@
     The port supports serial, timer0, spi, and usb.
   </li>
 
+  <li><code>configs/mx1ads</code>:
+    This is a port to the Motorola MX1ADS development board.  That board
+    is based on the Freescale i.MX1 processor.  The i.MX1 is an ARM920T.
+    STATUS:  This port is nearly code complete but was never fully
+    integrated due to tool-related issues.
+  </li>
+
+  <li><code>configs/ne64badge</code>:
+    Future Electronics Group NE64 /PoE Badge board based on the
+    MC9S12NE64 hcs12 cpu.  This port uses the m9s12x GCC toolchain.
+    STATUS:  Under development.  The port is code-complete but has
+    not yet been fully tested.
+  </li>
+
   <li><code>configs/ntosd-dm320</code>:
     This port uses the Neuros OSD with a GNU arm-elf toolchain* under Linux or Cygwin.
     See <a href="http://wiki.neurostechnology.com/index.php/Developer_Welcome">Neuros Wiki</a>
@@ -776,12 +851,36 @@
     NuttX 0.2.1 release.
   </li>
 
+  <li><code>configs/nucleus2g</code>:
+    This port uses the Nucleus 2G board (with Babel CAN board).
+    This board features an NXP LPC1768 processor.
+    See the <a href="http://www.2g-eng.com/">2G Engineering</a> website for more information about the Nucleus 2G.
+  </li>
+
+  <li><code>configs/olimex-lpc1766stk</code>:
+    This port uses the Olimex LPC1766-STK board and a GNU GCC toolchain under
+    Linux or Cygwin.  STATUS: Complete and mature.
+  </li>
+
+  <li><code>configs/olimex-lpc2378</code>:
+	This port uses the Olimex-lpc2378 board and a GNU arm-elf toolchain under
+	Linux or Cygwin.  STATUS: ostest and NSH configurations available.
+  </li>
+
   <li><code>configs/olimex-strp711</code>:
     This port uses the Olimex STR-P711 board arm-elf toolchain* under Linux or Cygwin.
     See the <a href="http://www.olimex.com/dev/str-p711.html">Olimex</a> web site
     for further information.
-    STATUS: Coding for the basic port -- serial console and system timer -- is complete
-    but untested to problems I am having using OpenOCD with a wiggler clone JTAG.
+    STATUS: Configurations for the basic OS test and NSH are complete and verified.
+  </li>
+
+  <li><code>configs/pcblogic-pic32mx</code>:
+    This is the port of NuttX to the PIC32MX board from PCB Logic Design Co.
+    This board features the MicroChip PIC32MX460F512L.
+    The board is a very simple -- little more than a carrier for the PIC32
+    MCU plus voltage regulation, debug interface, and an OTG connector.
+    STATUS:  Code complete but testing has been stalled due to tool related problems
+    (PICkit 2 does not work with the PIC32).
   </li>
 
   <li><code>configs/pjrc-8051</code>:
@@ -790,6 +889,36 @@
     This port is not quite ready for prime time.
   </li>
 
+  <li><code>configs/qemu-i486</code>:
+    Port of NuttX to QEMU in i486 mode.  This port will also run on real i486
+    hardwared (Google the Bifferboard).
+  </li>
+
+  <li><code>configs/rgmp</code>:
+    RGMP stands for RTOS and GPOS on Multi-Processor.  RGMP is a project for 
+    running GPOS and RTOS simultaneously on multi-processor platforms. You can
+    port your favorite RTOS to RGMP together with an unmodified Linux to form a
+    hybrid operating system. This makes your application able to use both RTOS
+    and GPOS features.
+    See the <a href="http://rgmp.sourceforge.net/wiki/index.php/Main_Page">RGMP Wiki</a> for further information about RGMP.
+  </li>
+
+  <li><code>configs/sam3u-ek</code>:
+	The port of NuttX to the Atmel SAM3U-EK development board.
+  </li>
+
+  <li><code>configs/skp16c26</code>:
+	Renesas M16C processor on the Renesas SKP16C26 StarterKit.  This port
+	uses the GNU m32c toolchain.  STATUS:  The port is complete but untested
+    due to issues with compiler internal errors.
+  </li>
+
+  <li><code>configs/stm3210e-eval</code>:
+    STMicro STM3210E-EVAL development board based on the STMicro STM32F103ZET6
+    microcontroller (ARM Cortex-M3).  This port uses the GNU Cortex-M3
+    toolchain.
+  </li>
+
   <li><code>configs/sim</code>:
     A user-mode port of NuttX to the x86 Linux platform is available.
     The purpose of this port is primarily to support OS feature development.
@@ -809,6 +938,13 @@
     old processor for the time being.
   </li>
 
+  <li><code>configs/vsn</code>:
+    ISOTEL NetClamps VSN V1.2 ready2go sensor network platform based on the
+    STMicro STM32F103RET6.  Contributed by Uros Platise.
+    See the <a href="http://isotel.eu/NetClamps/">Isotel</a> web site for further information
+    about the NetClamps board.
+  </li>
+
   <li><code>configs/xtrs</code>:
     TRS80 Model 3.  This port uses a vintage computer based on the Z80.
     An emulator for this computer is available to run TRS80 programs on a 
@@ -841,6 +977,12 @@
     development kit, Z8F6423 part, and the Zilog ZDS-II Windows command line
     tools.  The development environment is Cygwin under WinXP.
   </li>
+
+  <li><code>configs/z8f64200100kit</code>:
+    z8Encore! Microcontroller.  This port use the Zilog z8f64200100kit
+    development kit, Z8F6423 part, and the Zilog ZDS-II Windows command line
+    tools.  The development environment is Cygwin under WinXP.
+  </li>
 </ul>
 
 <p><small><blockquote>
@@ -1650,7 +1792,87 @@ The system can be re-made subsequently by just typing <code>make</code>.
 
 <h3><a name="systemtime">4.1.20 System Time and Clock</a></h3>
 
-<h4>4.1.20.1 UTC Time Representation</h4>
+<h4>4.1.20.1 Basic System Timer</h4>
+
+<p><b>System Timer</b>
+  In most implementations, system time is provided by a timer interrupt.
+  That timer interrupt runs at rate determined by <code>CONFIG_MSEC_PER_TICKS</code> (default 10 or 100Hz).
+  The timer generates an interrupt each <code>CONFIG_MSEC_PER_TICKS</code> milliseconds and increments a counter called <code>g_system_timer</code>.
+  <code>g_system_timer</code> then provides a time-base for calculating <i>up-time</i> and elapsed time intervals in units of <code>CONFIG_MSEC_PER_TICKS</code>.
+</p>
+<p><b>System Timer Accuracy</b>
+  On many system, the exact timer interval specified by <code>CONFIG_MSEC_PER_TICKS</code> cannot be achieved due to limitations in frequencies or in dividers.
+  As a result, the time interval specified by <code>CONFIG_MSEC_PER_TICKS</code> may only be approximate and there may be small errors in the apparent <i>up-time</i> time.
+  These small errors, however, will accumulate over time and after a long period of time may have an unacceptably large error in the apparent <i>up-time</i> of the MCU.
+</p>
+  If the timer tick period generated by the hardware is not exactly <code>CONFIG_MSEC_PER_TICKS</code> <i>and</i> if there you require accurate up-time for the MCU, then there are measures that you can take:
+</p>
+<ul>
+  <li>
+    Perhaps you can adjust <code>CONFIG_MSEC_PER_TICKS</code> to a different value so that an exactly <code>CONFIG_MSEC_PER_TICKS</code> can be accomplished.
+  </li>
+  <li>
+    Or you can use a technique known as <i>Delta-Sigma Modulation</i>. (Suggested by Uros Platise).  Consider the example below.
+  </li>
+</ul>
+
+<p><b>Delta-Sigma Modulation Example</b>.
+  Consider this case:  The system timer is a count-up timer driven at 32.768KHz.
+  There are dividers that can be used, but a divider of one yields the highest accuracy.
+  This counter counts up until the count equals a match value, then a timer interrupt is generated.
+  The desire frequency is 100Hz (<code>CONFIG_MSEC_PER_TICKS</code> is 10).
+</p>
+<p>
+  This exact frequency of 100Hz cannot be obtained in this case.
+  In order to obtain that exact frequency a match value of 327.68 would have to be provided.
+  The closest integer value is 328 but the ideal match value is between 327 and 328.
+  The closest value, 328, would yield an actual timer frequency of 99.9Hz!
+  That will may cause significant timing errors in certain usages.
+</p>
+<p>
+  Use of Delta-Sigma Modulation can eliminate this error in the long run.
+  Consider this example implementation:
+</p>
+<ol>
+  <li>
+    Initially an accumulator is zero an the match value is programmed to 328:
+<ul><pre>
+accumulator = 0;
+match = 328;
+</pre></ul>
+  </li>
+  <li>
+    On each timer interrupt, accumulator is updated with difference that, in this reflects, 100* the error in interval that just passed.
+    So on the first timer interrupt, the accumulator would be updated like:
+<ul><pre>
+if (match == 328)
+  {
+    accumulator += 32; // 100*(328 - 327.68)
+  }
+else
+  {
+    accumulator -= 68; // (100*(327 - 327.68)
+  }
+</pre></ul>
+  </li>
+  <li>
+     And on that same timer interrupt a new match value would be programmed:
+<ul><pre>
+if (accumulator < 0)
+  {
+    match = 328;
+  }
+else
+  {
+    match = 327;
+  }
+</pre></ul>
+</ol>
+<p>
+  In this way, the timer interval is controlled from interrupt-to-interrupt to produce an average frequency of exactly 100Hz.
+</p>
+
+<h4>4.1.20.2 UTC Time Representation</h4>
 <p>
   To enable UTC time representation use option:
 </p>
@@ -2950,7 +3172,7 @@ build
   This link object is assumed to be an incremental (relative) link object, but could be a static library (archive)
   (some modification to this Makefile would be required if CONFIG_PASS1_TARGET generates an archive).
   Pass 1 1ncremental (relative) link objects should be put into the processor-specific source directory 
-  where other link objects will be created - ff the pass1 obect is an archive, it could	go anywhere.
+  where other link objects will be created - ff the pass1 obect is an archive, it could    go anywhere.
 </p>
 <ul>
   <li>
diff --git a/configs/README.txt b/configs/README.txt
index d937cc41bf9..d00fe1e2020 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -507,10 +507,10 @@ defconfig -- This is a configuration file similar to the Linux
 		  (CONFIG_STDIO_BUFFER_SIZE > 0), then this option may be added
 		  to force automatic, line-oriented flushing the output buffer
 		  for putc(), fputc(), putchar(), puts(), fputs(), printf(),
-          fprintf(), and vfprintf().  When a newline is encountered in
-          the output string, the output buffer will be flushed.  This
-          (slightly) increases the NuttX footprint but supports the kind
-          of behavior that people expect for printf().
+		  fprintf(), and vfprintf().  When a newline is encountered in
+		  the output string, the output buffer will be flushed.  This
+		  (slightly) increases the NuttX footprint but supports the kind
+		  of behavior that people expect for printf().
 		CONFIG_NUNGET_CHARS - Number of characters that can be
 		  buffered by ungetc() (Only if CONFIG_NFILE_STREAMS > 0)
 		CONFIG_PREALLOC_MQ_MSGS - The number of pre-allocated message
@@ -978,20 +978,24 @@ configs/avr32dev1
 	based on the Atmel AT32UC3B0256 MCU and uses a specially patched
 	version of the GNU toolchain:  The patches provide support for the
 	AVR32 family.  That patched GNU toolchain is available only from the
-	Atmel website.  STATUS: the ostest configuration is functional, but
-	there are issues with the NSH configuration (thought to be a hardware
-	configuration issue, but that has not been confirmed).
+	Atmel website.  STATUS: This port is functional but very basic.  There
+	are configurations for NSH and the OS test.
 
 configs/c5471evm
 	This is a port to the Spectrum Digital C5471 evaluation board.  The
 	TMS320C5471 is a dual core processor from TI with an ARM7TDMI general
 	purpose processor and a c54 DSP.  It is also known as TMS320DA180 or just DA180. 
 	NuttX runs on the ARM core and is built with a GNU arm-elf toolchain*.
-	This port is complete, verified, and included in the NuttX release.
+	This port is complete and verified.
 
 configs/demo9s12ne64
 	Feescale DMO9S12NE64 board based on the MC9S12NE64 hcs12 cpu.  This
-	port uses the m9s12x GCC toolchain.  STATUS:  Under development.
+	port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
+	is code complete but has not yet been verified.
+
+configs/detron
+	This is a port of NuttX port to the Detron LPC1768 board from Decio Renno
+	(http://www.detroneletronica.com.br/)
 
 configs/ea3131
 	Embedded Artists EA3131 Development bard.  This board is based on the 
@@ -1018,6 +1022,9 @@ configs/lm3s6965-ek
 	an ARM Cortex-M3 MCU, the Luminary/TI LM3S6965. This OS is built with the
 	arm-elf toolchain*.  STATUS:  This port is complete and mature.
 
+configs/lm3s8962-ek
+	Stellaris LMS38962 Evaluation Kit
+
 configs/lpcxpresso-lpc1768
 	Embedded Artists base board with NXP LPCExpresso LPC1768.  This board
 	is based on the NXP LPC1768.  The Code Red toolchain is used by default.
@@ -1041,13 +1048,14 @@ configs/mcu123-lpc214x
 configs/mx1ads
 	This is a port to the Motorola MX1ADS development board.  That board
 	is based on the Freescale i.MX1 processor.  The i.MX1 is an ARM920T.
-	STATUS:  This port is nearly code complete but still under development
-	(work is stalled until I devote time to the Micromint Eagle-100)
+	STATUS:  This port is nearly code complete but was never fully
+	integrated due to tool-related issues.
 
 configs/ne64badge
 	Future Electronics Group NE64 /PoE Badge board based on the
 	MC9S12NE64 hcs12 cpu.  This port uses the m9s12x GCC toolchain.
-	STATUS:  Under development.
+	STATUS:  Under development.  The port is code-complete but has
+	not yet been fully tested.
 
 configs/ntosd-dm320
 	This port uses the Neuros OSD v1.0 Dev Board with a GNU arm-elf
@@ -1071,7 +1079,7 @@ configs/nucleus2g
 
 configs/olimex-lpc1766stk
 	This port uses the Olimex LPC1766-STK board and a GNU GCC toolchain* under
-	Linux or Cygwin.  STATUS: under development.
+	Linux or Cygwin.  STATUS: Complete and mature.
 
 configs/olimex-lpc2378
 	This port uses the Olimex-lpc2378 board and a GNU arm-elf toolchain* under
@@ -1083,24 +1091,34 @@ configs/olimex-lpc2378
 configs/olimex-strp711
 	This port uses the Olimex STR-P711 board and a GNU arm-elf toolchain* under
 	Linux or Cygwin. See the http://www.olimex.com/dev/str-p711.html" for
-	further information. STATUS: Coding for the basic port -- serial console
-	and system timer -- is complete but untested to problems I am having using
-	OpenOCD with a wiggler clone JTAG.
+	further information.  STATUS: Configurations for the basic OS test and NSH
+	are complete and verified.
 
 configs/pjrc-8051
 	8051 Microcontroller.  This port uses the PJRC 87C52 development system
 	and the SDCC toolchain.   This port is not quite ready for prime time.
 
+configs/pcblogic-pic32mx
+	This is the port of NuttX to the PIC32MX board from PCB Logic Design Co.
+	This board features the MicroChip PIC32MX460F512L.
+	The board is a very simple -- little more than a carrier for the PIC32
+	MCU plus voltage regulation, debug interface, and an OTG connector.
+	STATUS:  Code complete but testing has been stalled due to tool related problems
+	(PICkit 2 does not work with the PIC32).
+
+confgis/qemu-i486
+	Port of NuttX to QEMU in i486 mode.  This port will also run on real i486
+	hardwared (Google the Bifferboard).
+
 configs/rgmp
+	RGMP stands for RTOS and GPOS on Multi-Processor.  RGMP is a project for 
+	running GPOS and RTOS simultaneously on multi-processor platforms. You can
+	port your favorite RTOS to RGMP together with an unmodified Linux to form a
+	hybrid operating system. This makes your application able to use both RTOS
+	and GPOS features.
 
-    RGMP stands for RTOS and GPOS on Multi-Processor.  RGMP is a project for 
-    running GPOS and RTOS simultaneously on multi-processor platforms. You can
-    port your favorite RTOS to RGMP together with an unmodified Linux to form a
-    hybrid operating system. This makes your application able to use both RTOS
-   and GPOS features.
-
-    See http://rgmp.sourceforge.net/wiki/index.php/Main_Page for further information
-    about RGMP.
+	See http://rgmp.sourceforge.net/wiki/index.php/Main_Page for further information
+	about RGMP.
 
 configs/sim
 	A user-mode port of NuttX to the x86 Linux platform is available.
@@ -1111,9 +1129,13 @@ configs/sim
 	NOTE: This target will not run on Cygwin probably for many reasons but
 	first off because it uses some of the same symbols as does cygwin.dll.
 
+configs/sam3u-ek
+	The port of NuttX to the Atmel SAM3U-EK development board.
+
 configs/skp16c26
 	Renesas M16C processor on the Renesas SKP16C26 StarterKit.  This port
-	uses the GNU m32c toolchain.
+	uses the GNU m32c toolchain.  STATUS:  The port is complete but untested
+	due to issues with compiler internal errors.
 
 configs/stm3210e-evel
 	STMicro STM3210E-EVAL development board based on the STMicro STM32F103ZET6
@@ -1126,7 +1148,8 @@ configs/us7032evb1
 
 configs/vsn
 	ISOTEL NetClamps VSN V1.2 ready2go sensor network platform based on the
-	STMicro STM32F103RET6.  Contributed by Uros Platise.
+	STMicro STM32F103RET6.  Contributed by Uros Platise.  See
+	http://isotel.eu/NetClamps/
 
 configs/xtrs
 	TRS80 Model 3.  This port uses a vintage computer based on the Z80.
@@ -1155,9 +1178,6 @@ configs/z8f64200100kit
 	development kit, Z8F6423 part, and the Zilog ZDS-II Windows command line
 	tools.  The development environment is Cygwin under WinXP.
 
-Other ports for the for the TI TMS320DM270, M683222 and for MIPS are in various
-states of progress
-
 Configuring NuttX
 ^^^^^^^^^^^^^^^^^