diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 13cf86503a9..7ac418b0c49 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: September  29, 2015</p>
+      <p>Last Updated: October 1, 2015</p>
     </td>
   </tr>
 </table>
@@ -1295,11 +1295,11 @@
 <h2>Released Versions</h2>
 <p>
   In addition to the ever-changing GIT repository, there are frozen released versions of NuttX available.
-  The current release is NuttX 7.10.
-  NuttX 7.11 is the 111<sup>th</sup> release of NuttX.
-  It was released on June 9, 2015, and is available for download from the
+  The current release is NuttX 7.12.
+  NuttX 7.12 is the 112<sup>th</sup> release of NuttX.
+  It was released on October 1, 2015, and is available for download from the
   <a href="https://bitbucket.org/patacongo/nuttx/downloads/">Bitbucket.org</a> website.
-  Note that the release consists of two tarballs:  <code>nuttx-7.11.tar.gz</code> and <code>apps-7.11.tar.gz</code>.
+  Note that the release consists of two tarballs:  <code>nuttx-7.12.tar.gz</code> and <code>apps-7.12.tar.gz</code>.
   Both may be needed (see the top-level <code>nuttx/README.txt</code> file for build information).
 </p>
 
@@ -1308,7 +1308,7 @@
 <ul>
   <li><b>nuttx</b>.
     <ul><p>
-      Release notes for NuttX 7.11 are available <a href="https://bitbucket.org/patacongo/nuttx/downloads/">here</a>.
+      Release notes for NuttX 7.12 are available <a href="https://bitbucket.org/patacongo/nuttx/downloads/">here</a>.
       Release notes for all released versions on NuttX are available in the <a href="https://bitbucket.org/patacongo/nuttx/src/master/ReleaseNotes" target="_blank">Bitbucket GIT</a>.
       The ChangeLog for all releases of NuttX is available in the ChangeLog file that can viewed in the <a href="https://bitbucket.org/patacongo/nuttx/src/master/ChangeLog" target="_blank">Bitbucket GIT</a>.
       The ChangeLog for the current release is at the bottom of that file.
@@ -1316,7 +1316,7 @@
   </li></ul>
   <li><b>apps</b>.
     <ul><p>
-      Release notes for NuttX 7.11 are available <a href="https://bitbucket.org/nuttx/apps/downloads/">here</a>.
+      Release notes for NuttX 7.12 are available <a href="https://bitbucket.org/nuttx/apps/downloads/">here</a>.
       Release notes for all released versions on NuttX are available in the <a href="https://bitbucket.org/patacongo/nuttx/src/master/ReleaseNotes" target="_blank">Bitbucket GIT</a>
       The ChangeLog for the all releases of <code>apps/</code> is available in the ChangeLog file that can viewed in the <a href="https://bitbucket.org/nuttx/apps/src/master/ChangeLog.txt" target="_blank">Bitbucket GIT</a>.
       The ChangeLog for the current release is at the bottom of that file.
@@ -1368,10 +1368,10 @@
       <li><a href="#arm920t">ARM920T</a> (1)</li>
       <li><a href="#arm926ejs">ARM926EJS</a> (4)</li>
       <li><a href="#armv4">Other ARMv4</a> (1)</li>
-      <li><a href="#armcortexa5">ARM Cortex-A5</a> (2)</li>
+      <li><a href="#armcortexa5">ARM Cortex-A5</a> (3)</li>
       <li><a href="#armcortexa8">ARM Cortex-A8</a> (1)</li>
       <li><a href="#armcortexm0">ARM Cortex-M0/M0+</a> (7)</li>
-      <li><a href="#armcortexm3">ARM Cortex-M3</a> (33)</li>
+      <li><a href="#armcortexm3">ARM Cortex-M3</a> (34)</li>
       <li><a href="#armcortexm4">ARM Cortex-M4</a> (24)</li>
       <li><a href="#armcortexm7">ARM Cortex-M7</a> (3)</li>
     </ul>
@@ -1449,6 +1449,7 @@
       <li><a href="#at91sam4l">Atmel SAM4L</a> <small>(ARM Cortex-M4)</small></li>
       <li><a href="#at91sam4s">Atmel SAM4S</a> <small>(ARM Cortex-M4)</small></li>
       <li><a href="#at91samv71">Atmel SAMV71</a> <small>(ARM Cortex-M7)</small></li>
+      <li><a href="#at91sama5d2">Atmel SAMA5D2</a> <small>(ARM Cortex-A5)</small></li>
       <li><a href="#at91sama5d3">Atmel SAMA5D3</a> <small>(ARM Cortex-A5)</small></li>
       <li><a href="#at91sama5d4">Atmel SAMA5D4</a> <small>(ARM Cortex-A5)</small></li>
     </ul>
@@ -1918,6 +1919,31 @@
     <a name="armcortexa5"><b>ARM Cortex-A5</b>.</a>
   </td>
 </tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p>
+      <a name="at91sama5d2"><b>Atmel SAMA5D2</b>.</a>
+    <p>
+    <ul>
+      <li><p><b>Atmel SAMA5D2 Xplained Ultra development board</b>.
+          This is the  port of NuttX to the Atmel SAMA5D2 Xplained Ultra development board.
+          This board features the Atmel SAMA5D27 microprocessor.
+      </p>
+      <ul>
+        <p>
+          <b>STATUS</b>.
+          Initial support for the SAMA5D2 was released in NuttX-7.12.
+          This port is code complete but, however, still a work in progress and has not been verified in this this initial release.
+        </p>
+      </ul>
+    </ul>
+  </td>
+</tr>
+<tr>
+  <td><br></td>
+  <td><hr></td>
+</tr>
 <tr>
   <td><br></td>
   <td>
@@ -1926,7 +1952,7 @@
       There are ports to two Atmel SAMA5D3 boards:
     <p>
     <ul>
-      <li><p><b>Atmel SAMA5D3<i>x</i>-EK development boards</b>
+      <li><p><b>Atmel SAMA5D3<i>x</i>-EK development boards</b>.
           This is the  port of NuttX to the Atmel SAMA5D3<i>x</i>-EK development boards (where <i>x</i>=1,3,4, or 5).
           These boards feature the Atmel SAMA5D3<i>x</i> microprocessors.
           Four different SAMA5D3<i>x</i>-EK kits are available
@@ -3395,7 +3421,11 @@ nsh>
   <td><br></td>
   <td>
     <p>
-      <a name="stm32303x"><b>STMicro STM32 F302 / STM32F3-Discovery (STM32 F3 family)</b>.</a>
+      <a name="stm32303x"><b>STMicro STM32 F303 (STM32 F3 family)</b>.</a>
+    <p>
+    <ul>
+    <p>
+      <b>STM32F3-Discovery</b>.
       This port uses the STMicro STM32F3-Discovery board featuring the STM32F303VCT6 MCU (STM32 F3 family).
       Refer to the <a href="http://www.st.com/internet/evalboard/product/254044.jsp">STMicro web site</a> for further information about this board.
     </p>
@@ -3408,6 +3438,18 @@ nsh>
         Refer to the NuttX board <a href="https://bitbucket.org/nuttx/boards/src/master/stm32f3discovery/README.txt" target="_blank">README</a> file for further information.
       </p>
     </ul>
+
+    <p>
+      <b>STMicro ST Nucleo F303RE board.</b>.
+      Contributed by Paul Alexander Patience.
+    </p>
+    <ul>
+      <p>
+        <b>STATUS:</b>
+        The basic port for the Nucleo F303RE was first released in NuttX-7.12.
+      </p>
+    </ul>
+    </ul>
   </td>
 </tr>
 <tr>
@@ -3435,7 +3477,8 @@ nsh>
   <td>
     <p>
       <a name="stm32f401x"><b>STMicro STM32401x (STM32 F4 family)</b>.</a>
-    <p>    <ul>
+    <p>
+    <ul>
     <p>
       <b>Nucleo F401RE</b>.
       This port uses the STMicro Nucleo F401RE board featuring the STM32F104RE MCU.