diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index b5e44e68ad9..47dadc611b6 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: March 3, 2008</p>
+      <p>Last Updated: March 9, 2008</p>
     </td>
   </tr>
 </table>
@@ -456,7 +456,7 @@
 </table>
 
 <p>
-  The 20th release of NuttX (nuttx-0.3.8) is available for download
+  The 21st release of NuttX (nuttx-0.3.9) is available for download
   from the <a href="http://sourceforge.net/project/showfiles.php?group_id=189573">SourceForge</a>
   website.
   The change log associated with the release is available <a href="#currentrelease">here</a>.
@@ -464,12 +464,13 @@
   These unreleased changes are listed <a href="#pendingchanges">here</a>.
 </p>
 <p>
-  nuttx-0.3.8 is a minor bugfix release.  It corrects a few minor problems, adds a few minor features, and
-  continues the integration of the ZiLOG Z18F and of the Pascal P-Code add-on.
-  This release is synchronized with the release of Pascal-0.1.2.
+  nuttx-0.3.8 is a minor feature enhancement release.
+  This release includes support for the ZiLOG Z8Encore! microcontroller.
+  Also included is the initial framework for support for the Z80,
+  <a href="http://www.tim-mann.org/xtrs.html">XTRS</a> platform.
 </p>
 <p>
-  This release were verified on the ZiLOG z16f2800100zcog, Neuros OSD (ARM9), and the simulation platforms.
+  This released has been verified only on the ZiLOG ZDS-II Z8Encore! chip simulation.
   As usual, any feedback about bugs or suggestions for improvement would be greatly appreciated.
 </p>
 
@@ -621,7 +622,7 @@
     </p>
     <p>
       <b>STATUS:</b>
-      The Z8Encore! port is a work in progress and will be released in a future NuttX version.
+      This released has been verified only on the ZiLOG ZDS-II Z8Encore! chip simulation.
     </p>
    </td>
 </tr>
@@ -940,29 +941,18 @@ Other memory:
 </table>
 
 <pre><ul>
-0.3.8 2008-02-10 Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
+nuttx-0.3.9 2008-03-09 Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
-	* Added a test case to verify the Pascal P-Code interpreter
-	* Added /dev/zero
-	* 'errno' is now defined to be *get_errno_ptr() with no name conflicts
-	* Added lseek() and fseek()
-	* Integrated Pascal interpreter test case on the simulation platform.  Needs
-          pascal-0.1.1.
-	* Add Pascal test case on the z16f platform.  Needs pascal-0.1.2 (does not
-          yet work due to some tool issues).
-	* C buffered I/O fixes:
-	  - Fix fflush() return value,
-	  - Add correct fflush behavior when the FILE argument is null.
-	  - Add logic to a correctly handle read/write access on the same FILE
-	  - fseek() flushes read/write data when before moving the file pointer
-	  - When read data is flushed, reposition the file pointer to account for
-	    buffered, but unread data
-	* Pascal P-Code files are now standardized to big-endian for portability
-	* Fix a build problem with z80 and SDCC 2.7.0 (format of a map file changed)
-	  (see bug 1887170)
-	* Pascal P-Code runtime now compiles with the SDCC toolchain.
-	* Added a generic CAN driver.  This driver is untested as of this writing.
-	* Corrected DM320 UART configuration problem
+	* Began adding support for the ZiLOG Z8Encore! microcontroller for the Z8Encore000ZCO
+	  development board and the Z8F6403 part.
+	* Fix broken 'clean' target on z80sim configurations
+	* Re-structure arch/z80 to provide support for all ZiLOG 8-bit microcontrollers (ez8
+	  in particular for now).
+	* Add support for TRS80-Model 3 based on the xtrs emulation (http://www.tim-mann.org/xtrs.html)
+	  Per patch from Jacques Pelletier.
+	* In all shell scripts, change #!/bin/sh to #!/bin/bash to resolve problems in
+	  Ubuntu where /bin/sh is a link to dash.
+	* Z8Encore! port verified on ZDS-II instruction set/chip simulator.
 
 pascal-0.1.2 2008-02-10 Gregory Nutt <spudmonkey@racsa.co.cr>
 
@@ -988,17 +978,7 @@ buildroot-0.1.0 2007-03-09 &lt;spudmonkey@racsa.co.cr&gt
 </table>
 
 <pre><ul>
-nuttx-0.3.9 2008-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
-
-	* Began adding support for the ZiLOG Z8Encore! microcontroller for the Z8Encore000ZCO
-	  development board and the Z8F6403 part.
-	* Fix broken 'clean' target on z80sim configurations
-	* Re-structure arch/z80 to provide support for all ZiLOG 8-bit microcontrollers (ez8
-	  in particular for now).
-	* Add support for TRS80-Model 3 based on the xtrs emulation (http://www.tim-mann.org/xtrs.html)
-	  Per patch from Jacques Pelletier.
-	* In all shell scripts, change #!/bin/sh to #!/bin/bash to resolve problems in
-	  Ubuntu where /bin/sh is a link to dash.
+nuttx-0.3.10 2008-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
 pascal-0.1.3 2008-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;