diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 3fc2fc613f..203801678f 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1236,11 +1236,11 @@
       <li><a href="#avratmega128">AVR ATMega128</a> <small>(8-bit AVR)</small></li>
       <li><a href="#avrat90usbxxx">AVR AT90USB64x and AT90USB6128x</a> <small>(8-bit AVR)</small></li>
       <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="#at91sam3x">Atmel AT91SAM3X</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>
-      <li><a href="#at91sama5d3">Atmel AT91SAMA5D3</a> <small>(ARM Cortex-A5)</small></li>
+      <li><a href="#at91sam3u">Atmel SAM3U</a> <small>(ARM Cortex-M3)</small></li>
+      <li><a href="#at91sam3x">Atmel SAM3X</a> <small>(ARM Cortex-M3)</small></li>
+      <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="#at91sama5d3">Atmel SAMA5D3</a> <small>(ARM Cortex-A5)</small></li>
     </ul>
   </li>
   <li>Freescale
@@ -2175,9 +2175,9 @@ nsh>
   <td><br></td>
   <td>
     <p>
-      <a name="at91sam3u"><b>Atmel AT91SAM3U</b>.</a>
+      <a name="at91sam3u"><b>Atmel SAM3U</b>.</a>
       This port uses the <a href="http://www.atmel.com/">Atmel</a> SAM3U-EK
-      development board that features the AT91SAM3U4E MCU.
+      development board that features the SAM3U4E MCU.
       This port uses a GNU arm-nuttx-elf or arm-nuttx-eabi toolchain* under either Linux or Cygwin (with native Windows GNU tools or Cygwin-based GNU tools).
     </p>
     <ul>
@@ -2217,7 +2217,7 @@ nsh>
   <td><br></td>
   <td>
     <p>
-      <a name="at91sam3x"><b>Atmel AT91SAM3X</b>.</a>
+      <a name="at91sam3x"><b>Atmel SAM3X</b>.</a>
       This port uses the <a href="http://arduino.cc//">Arduino</a> Due development board that features the ATSAM3X8E MCU running at 84MHz.
       See the <a href="http://arduino.cc/en/Main/arduinoBoardDue">Arduino Due</a> page for more information.
     </p>
@@ -2231,7 +2231,7 @@ nsh>
      </ul>
      <p>
        <b>Development Environments:</b>
-       See the Atmel AT91SAM3U discussion <a href="#at91sam3u">above.</a>
+       See the Atmel SAM3U discussion <a href="#at91sam3u">above.</a>
      </p>
   </td>
 </tr>
@@ -2698,7 +2698,7 @@ nsh>
   <td><br></td>
   <td>
     <p>
-      <a name="at91sam4l"><b>Atmel AT91 SAM4L</b>.</a>
+      <a name="at91sam4l"><b>Atmel SAM4L</b>.</a>
       This port uses the Atmel SAM4L Xplained Pro development board.
       This board features the ATSAM4LC4C MCU running at 48MHz with 256KB of FLASH and 32KB of internal SRAM.
     </p>
@@ -2763,7 +2763,7 @@ Mem:         29232       5920      23312      23312
   <td><br></td>
   <td>
     <p>
-      <a name="at91sam4s"><b>Atmel AT91SAM4S</b>.</a>
+      <a name="at91sam4s"><b>Atmel SAM4S</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>