From d6d573f6fa44e438b12a5c8376827461588e698a Mon Sep 17 00:00:00 2001
From: patacongo <patacongo@42af7a65-404d-4744-a932-0658087f49c3>
Date: Mon, 23 Apr 2012 13:59:31 +0000
Subject: [PATCH] Fix atexit() function being called twice

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@4644 42af7a65-404d-4744-a932-0658087f49c3
---
 Documentation/NuttX.html          | 17 ++++++++++++++---
 Documentation/NuttxUserGuide.html |  6 ++++++
 2 files changed, 20 insertions(+), 3 deletions(-)

diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 0b85fcb65e..85b5134694 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 dec4fca028..9d3af1c270 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>