diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 510715fe8e..d0111b5aca 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 15, 2012</p>
+      <p>Last Updated: June 20, 2012</p>
     </td>
   </tr>
 </table>
@@ -1110,7 +1110,7 @@ nfsmount &lt;server-address&gt; &lt;mount-point&gt; &lt;remote-path&gt;
       <li><a href="#80x86">Intel 80x86</a> (2)</li>
     </ul>
   </li>
-  <li>MicroChip <a href="#pic32mips">PIC32MX</a> (MIPS) (3)</li>
+  <li>MicroChip <a href="#pic32mips">PIC32MX</a> (MIPS) (4)</li>
   <li>Renesas/Hitachi:
     <ul>
         <li><a href="#superh">Renesas/Hitachi SuperH</a> (1/2)</li>
@@ -2203,6 +2203,27 @@ nfsmount &lt;server-address&gt; &lt;mount-point&gt; &lt;remote-path&gt;
     <a name="pic32mips"><b>MicroChip PIC32 (MIPS)</b>.</a>
   </td>
 </tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p><b>PIC32MX250F128D</b>.
+      A port is in progress from the DTX1-4000L &quot;Mirtoo&quot; module from <a href="http://www.dimitech.com/" >Dimitech</a>.
+      This module uses MicroChip PIC32MX250F128D and the Dimitech DTX1-4000L EV-kit1 V2.
+      See the <a href="http://www.dimitech.com/">Dimitech</a> website for further information.
+    </p>
+    <ul>
+      <p>
+        <b>STATUS:</b>
+        The basic port is code complete but still not fully verified.
+        With any luck, the verified port should be available with the NuttX 6.20 release.
+      </p>
+    </ul>
+  </td>
+</tr>
+<tr>
+  <td><br></td>
+  <td><hr></td>
+</tr>
 <tr>
   <td><br></td>
   <td>