diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 0b85fcb65e9..85b5134694c 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: April 14, 2012</p>
+      <p>Last Updated: April 23, 2012</p>
     </td>
   </tr>
 </table>
@@ -2228,10 +2228,13 @@
   <td>
     <p>
       <b>PIC32MX795F512L</b>.
-        This port uses the Microchip PIC32 Ethernet Starter Kit (DM320004) with the Expansion I/O board.
-        See the <a href="http://ww.microchip.com">Microchip website</a> for further information.
+        There one two board ports using this chip:
     </p>
     <ul>
+      <li><b>Microchip PIC32 Ethernet Starter Kit</b>.
+         This port uses the Microchip PIC32 Ethernet Starter Kit (DM320004) with the Expansion I/O board.
+         See the <a href="http://ww.microchip.com">Microchip website</a> for further information.
+      </li>
       <p>
        <b>STATUS:</b>
          This port was started and then shelved for some time until I received the Expansion I/O board.
@@ -2243,6 +2246,14 @@
          Also included are a a verified Ethernet driver, a partially verified USB device controller driver, and an unverifed SPI driver.
          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.
+      </li>
+      <p>
+       <b>STATUS:</b>
+         A configuration exists for this board, but has not been verfied as of this writing.
+      </p>
     </ul>
   </td>
 </tr>
diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html
index dec4fca028a..9d3af1c270d 100644
--- a/Documentation/NuttxUserGuide.html
+++ b/Documentation/NuttxUserGuide.html
@@ -522,6 +522,12 @@ And the UNIX interface:
 The task is first terminated and then reinitialized with same
 ID, priority, original entry point, stack size, and parameters
 it had when it was first started.
+</p>
+<p>
+NOTE: The normal task exit clean up is not performed.
+For example, file descriptors are not closed;
+any files opened prior to the restart will remain opened after the task is restarted.
+</p>
 <p>
 <b>Input Parameters:</b> 
 <ul>