diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 0d8dd5569c5..3235811d5c2 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: June 11, 2009</p>
+      <p>Last Updated: June 13, 2009</p>
     </td>
   </tr>
 </table>
@@ -687,32 +687,34 @@
   </tr>
 </table>
 
-<p><b>nuttx-0.4.7</b>.
-  The 39<sup>th</sup> release of NuttX (nuttx-0.4.7) was made on May 29, 2009 and is available for download
-  from the <a href="http://sourceforge.net/project/showfiles.php?group_id=189573">SourceForge</a>
+<p><b>nuttx-0.4.8</b>.
+  This 40<sup>th</sup> release of NuttX (nuttx-0.4.8) was made on June 13, 2009
+  and 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>.
   Unreleased changes after this release are available in CVS.
   These unreleased changes are listed <a href="#pendingchanges">here</a>.
 </p>
-<p>
-  This release focuses on cleaning up and extending the Eagle100/LM3S6918 port released
-  in nuttx-0.4.6 and on improved MMC/SD support.  New features include:
+  This release adds:
   <ul>
-    <li>
-      Improved reliably and additional drivers for the Eagle-100 board (LM3S6918
-      ARM Cortex-M3).  Additional drivers include Ethernet, SSI, and support for
-      the on-board LEDs and microSD cards.
-    </li>
-    <li>
-      The SPI-based MMC/SD driver was extended to support SDHC Version 2.xx cards.
-    </li>
+  <li>
+    Support for the Olimex STRP711 board.  That board is based on the STMicro
+    STR711 MCU (ARM7TDMI). Integration is complete on the basic port (boot logic,
+    system time, serial console). Two configurations have been verified: (1) The
+    board boots and passes the OS test with console output visible on UART0, and
+    the NuttShell (NSH) is fully functional with interrupt driven serial console. 
+    An SPI driver is available but untested (because the Olimex card slot appears
+    to accept only MMC cards; I have only SD cards).  Additional needed: USB and
+    driver, MMC integration.
+  </li>
+  <li>
+    Support for the CodeSourcery and devkitARM Windows-native GNU toolchains.
+    Makefiles have been modified for the LM3S6918, LPC2148, and STR711 to support
+    these toolchains under Cygwin.
+  </li>
   </ul>
 </p>
-<p>
-  In addition, this release includes several important bugfixes for the LM3S6918, the LPC2148,
-  the SPI-based MMC/SD driver, and to FAT32.  See the ChangeLog for details of these bugfixes.
-</p>
 
 <table width ="100%">
   <tr bgcolor="#e4e4e4">
@@ -1416,35 +1418,26 @@ Other memory:
 </table>
 
 <pre><ul>
-nuttx-0.4.7 2009-05-29 Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
+nuttx-0.4.8 2009-06-13 Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
-	* arch/arm/src/lm3s: Added an Ethernet driver for the LM3S6918
-	* configs/eagle100/nettest: Added an examples/nettest configuration for the
-	  Micromint Eagle100 board.
-	* Documentation/NuttxPortingGuide.html: Added a section on NuttX device drivers.
-	* configs/eagle100/httpd: Added an examples/uip configuration for the
-	  Micromint Eagle100 board.
-	* arch/arm/src/lm3s: Added an SSI driver for the LM3S6918
-	* examples/nsh: Added MMC/SD support for the LM3S6918
-	* arch/arm/src/lm3s: Fix logic for setting and clearing output GPIOs (critical
-	  fix!).
-	* drivers/mmcsd: Found numerous errors in current MMC/SD SPI driver.  Bad frequency
-	  calculation based on CSD settings, inappropriate timeouts, odd code that looks like
-	  a bad search and replace.  Also needs support for SDHC ver 2.x.  New MMC/SD is
-	  largely redesigned and probably non-functional in the first check-in.
-	* drivers/mmcsd: Changes verified on 4Gb Kingston microSHDC card and on a 2Gb
-	  SanDisk microSDC card on the Eagle100 platform.
-	* fs/fat: With the 4Gb card, the first tests of FAT32 were (finally) performed.
-	  Found and corrected a problem that prevented use of FAT32: It was not updating
-	  the sector cache before checking the FAT32 FSINFO sector.
-	* configs/eagle100/*/Make.defs:  Added configuration options that should make
-	  it possible to build NuttX for the Eagle100 using CodeSourcery 2009q1 toolchain
-	  and the devkitARM GNU toolchain.
-	* configs/mcu123-lpc214x/src: Corrected some logic in the LPC2148 SPI receive block
-	  logic.  Re-verified SDC ver1.x support with 1Gb Toshiba SDC, 1Gb PNY SDC, and
-	  4Gb Kingston SDHC.  There are CMD0 issues with the 2Gb SanDisk SDC on this board.
-	* fs/fs_mount.c: Corrected error handling that could cause a deadlock on certain
-	  mount() failures.
+	* lib/lib_*stream.c: Extend internal stream logic to support incoming streams.
+	* arch/arm/src/str71x: Serial output is now correct and timer interrupts are
+	  working.  The test at configs/olimex-strp711/ostest passes.  This means that
+	  the basic STR-P711 port is complete.
+	* configs/olimex-strp711/nsh:  Add and verifed a NuttShell (NSH) configuration
+	  for the STR-P711.
+	* arch/arm/str71x/str71x_serial.c:  The STR711 interrupt driven serial driver
+	  finally works after some extradinary measures to handle missed interrupts.
+	  NSH is fully functional on the Olimex STR-P711 board.
+	* example/nsh: Moved architecture specific files from NSH directory to board-
+	  specific directories.
+	* config/olimex-strp711/src/up_nsh.c:  Add an NSH board specific directory for
+	  for the Olimex STR7P11 board.
+	* Fixed build of LM3X6918 using the CodeSourcery Windows native toolchain.  There
+	  were lots of issues with Cygwin paths and Cygwin symbolic links.  These changes
+	  may work with the devarmKIT as well, but that remains untested.
+	* The NXP LPC2148 and STR711 targets can now also be built using the CodeSourcery
+	  or devkitARM Windows native toolchains.
 
 pascal-0.1.2 2008-02-10 Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
@@ -1475,26 +1468,7 @@ buildroot-0.1.6 2009-xx-xx &lt;spudmonkey@racsa.co.cr&gt;
 </table>
 
 <pre><ul>
-nuttx-0.4.8 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
-
-	* lib/lib_*stream.c: Extend internal stream logic to support incoming streams.
-	* arch/arm/src/str71x: Serial output is now correct and timer interrupts are
-	  working.  The test at configs/olimex-strp711/ostest passes.  This means that
-	  the basic STR-P711 port is complete.
-	* configs/olimex-strp711/nsh:  Add and verifed a NuttShell (NSH) configuration
-	  for the STR-P711.
-	* arch/arm/str71x/str71x_serial.c:  The STR711 interrupt driven serial driver
-	  finally works after some extradinary measures to handle missed interrupts.
-	  NSH is fully functional on the Olimex STR-P711 board.
-	* example/nsh: Moved architecture specific files from NSH directory to board-
-	  specific directories.
-	* config/olimex-strp711/src/up_nsh.c:  Add an NSH board specific directory for
-	  for the Olimex STR7P11 board.
-	* Fixed build of LM3X6918 using the CodeSourcery Windows native toolchain.  There
-	  were lots of issues with Cygwin paths and Cygwin symbolic links.  These changes
-	  may work with the devarmKIT as well, but that remains untested.
-	* The NXP LPC2148 and STR711 targets can now also be built using the CodeSourcery
-	  or devkitARM Windows native toolchains.
+nuttx-0.4.9 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
 
 pascal-0.1.3 2009-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;