diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index f8586682140..2f649ac62bd 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: May 19, 2012</p>
+      <p>Last Updated: June 4, 2012</p>
     </td>
   </tr>
 </table>
@@ -2269,14 +2269,19 @@
          Stay tuned for updates.
       </p>
      <li><b>Mikroelektronika PIC32MX7 Mulitmedia Board (MMB)</b>.
-        A port has begun for the  Mikroelektronika PIC32MX7 Multimedia Board (MMB).
-        See http://www.mikroe.com/ for further information.
+        A port has been completed for the  Mikroelektronika PIC32MX7 Multimedia Board (MMB).
+        See http://www.mikroe.com/ for further information about this board.
       </li>
       <p>
        <b>STATUS:</b>
-         A basic OS test configuration is in place, but the board does not boot.
-         It looks like I will need an ICD3 in order to debug the code (PICkit3
-         doesn't work for debugging with this board).  This effort is temporarily stalled.
+         Two verified configurations are available:
+         (1) The basic OS test configuration that verfies the correctnexx port of Nuttx, and (2) an extensive <a href="NuttShell.html">NuttShell (NSH)</a> configuration.
+         The NSH configuration includes:
+         (1) Full network support,
+         (2) Verified SPI driver,
+         (3) SPI-based SD Card support,
+         (4) USB device support (including configuration options for the USB mass storage device and the CDC/ACM serial class), and
+         (4) Support for the MIO873QT2 LCD on the PIC32MX7 MMB.
       </p>
     </ul>
   </td>