diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 99d372ebbe..dd767ff36f 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: October 9, 2010</p>
+      <p>Last Updated: October 18, 2010</p>
     </td>
   </tr>
 </table>
@@ -1321,6 +1321,32 @@
     </ul>
   </td>
 </tr>
+<tr>
+  <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
+  <td bgcolor="#5eaee1">
+    <b>Atmel AVR32</b>
+  </td>
+</tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p>
+      <b>AV32DEV1</b>.
+      This port uses the www.mcuzon.com AVRDEV1 board based on the Atmel AT91UC3B0256 MCU.
+      This port requires a special GNU avr32 toolchain available from atmel.com website.
+      This is a windows native toolchain and so can be used only under Cygwin on Windows.
+    </p>
+    <ul>
+      <p>
+       <b>STATUS:</b>
+         This port is currently under development.
+         All code is complete for the basic NuttX port including header files for all AT91UC3* peripherals.
+         Testing of this port is underway now.
+         It is hoped that the first, released AVR32 port will appear in version 5.12 of NuttX, probably near the beginning of September, 2010.
+      </p>
+    </ul>
+  </td>
+</tr>
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">