diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index d08327d256..25c340d487 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 9, 2013</p>
+      <p>Last Updated: June 12, 2013</p>
     </td>
   </tr>
 </table>
@@ -1578,7 +1578,7 @@
       <li><a href="#arm926ejs">ARM926EJS</a> (3) </li>
       <li><a href="#armcortexm0">ARM Cortex-M0/M0+</a> (2)</li>
       <li><a href="#armcortexm3">ARM Cortex-M3</a> (19)</li>
-      <li><a href="#armcortexm4">ARM Cortex-M4</a> (8)</li>
+      <li><a href="#armcortexm4">ARM Cortex-M4</a> (9)</li>
     </ul>
   <li>Atmel AVR
     <ul>
@@ -1641,6 +1641,7 @@
       <li><a href="#at32uc3bxxx">AVR32 AT32UC3BXXX</a> <small>(32-bit AVR32)</small></li>
       <li><a href="#at91sam3u">Atmel AT91SAM3U</a> <small>(ARM Cortex-M3)</small></li>
       <li><a href="#at91sam4l">Atmel AT91SAM4L</a> <small>(ARM Cortex-M4)</small></li>
+      <li><a href="#at91sam4s">Atmel AT91SAM4S</a> <small>(ARM Cortex-M4)</small></li>
     </ul>
   </li>
   <li>Freescale
@@ -2967,13 +2968,13 @@ nsh>
     <p>
       <a name="at91sam4l"><b>Atmel AT91SAM4L</b>.</a>
       This port uses the Atmel SAM4L Xplained Pro development board.
-      This board features the ATSAM4LC4C MCU with 256KB of FLASH and 32KB of internal SRAM.
+      This board features the ATSAM4LC4C MCU running at 48MHz with 256KB of FLASH and 32KB of internal SRAM.
     </p>
     <ul>
       <p>
         <b>STATUS:</b>
         As of this writing, the basic port is code complete and fully verified configurations exist for the basic NuttX OS test and for the NuttShell <a href="http://www.nuttx.org/Documentation/NuttShell.html">NSH</a>).
-        The first fully functional LM4F120 LaunchPad port was released in NuttX-6.28.
+        The first fully functional SAM4L Xplained Pro port was released in NuttX-6.28.
       </p>
       <p>
         <b>Memory Usage</b>.
@@ -3011,6 +3012,27 @@ Mem:         29232       5920      23312      23312
   <td><br></td>
   <td><hr></td>
 </tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p>
+      <a name="at91sam4s"><b>Atmel AT91SAM4S</b>.</a>
+      This port uses the Atmel SAM4S Xplained development board.
+      This board features the ATSAM4S16C MCU running at 120MHz with 1MB of FLASH and 128KB of internal SRAM.
+    </p>
+    <ul>
+      <p>
+        <b>STATUS:</b>
+        As of this writing, the basic port is code complete and fully verified configurations exist for the basic NuttX OS test and for the NuttShell <a href="http://www.nuttx.org/Documentation/NuttShell.html">NSH</a>).
+        The first fully functional SAM4S Xplained port was released in NuttX-6.28.
+      </p>
+    </ul>
+  </td>
+</tr>
+<tr>
+  <td><br></td>
+  <td><hr></td>
+</tr>
 <tr>
   <td><br></td>
   <td>