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>
diff --git a/TODO b/TODO
index 2fe2b3807b..8c777ae4c4 100644
--- a/TODO
+++ b/TODO
@@ -1,4 +1,4 @@
-NuttX TODO List (Last updated May 15, 2012)
+NuttX TODO List (Last updated June 20, 2012)
 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 
 This file summarizes known NuttX bugs, limitations, inconsistencies with 
@@ -1465,11 +1465,16 @@ o MIPS/PIC32(arch/mips)
                   up and crashes with a bad stack.
 
                So far, I have no clue why this is failing.
+
                UPDATE:  This bug was recorded using the PIC32 Ethernet
                Starter kit with a RAM disk (that board has no SD card slot).
                Howevever, using the USB mass storage device with the
                Mikroelektronika using a real SD card, there is no such
-               problem -- the mass storage device is quite stable.
+               problem -- the mass storage device seems quite stable.
+
+               UPDATE:  Hmmm.. retesting with the Mikroelectronka board
+               shows problems again.  I think that there are some subtle
+               timing bugs whose effects can very from innocuous to severe.
   Status:      Open
   Priority:    Originally, High BUT reduced to very Low based on the
                UPDATED comments.
diff --git a/arch/mips/src/pic32mx/pic32mx-config.h b/arch/mips/src/pic32mx/pic32mx-config.h
index 5a5ae00abb..4dd0a150e6 100644
--- a/arch/mips/src/pic32mx/pic32mx-config.h
+++ b/arch/mips/src/pic32mx/pic32mx-config.h
@@ -715,8 +715,8 @@
 #endif
 
 #ifndef CONFIG_PIC32MX_FUPLLEN
-#  if defined(CHIP_PIC32MX3) || defined(CHIP_PIC32MX4)
-#    define CONFIG_PIC32MX_FUPLLEN 0 /* Bypass and disable */
+#  if defined(CONFIG_PIC32MX_USBDEV) || defined(CONFIG_PIC32MX_USBHOST)
+#    define CONFIG_PIC32MX_FUPLLEN 0 /* Enable */
 #  else
 #    define CONFIG_PIC32MX_FUPLLEN 1 /* Bypass and disable */
 #  endif