Add support for the Penguino mips-elf toolchain for PIC32

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4866 7fd9a85b-ad96-42d3-883c-3090e2eb8679

1 files changed, 7 insertions, 3 deletions

diff --git a/nuttx/Documentation/NuttX.html b/nuttx/Documentation/NuttX.html
index d0111b5ac..edcdb1b95 100644
--- a/nuttx/Documentation/NuttX.html
+++ b/nuttx/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 20, 2012</p>
+      <p>Last Updated: June 22, 2012</p>
     </td>
   </tr>
 </table>
@@ -2214,8 +2214,12 @@ nfsmount &lt;server-address&gt; &lt;mount-point&gt; &lt;remote-path&gt;
     <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.
+        The basic port is code complete but development is ongoing and many features have not yet been verified.
+        Two configurations are available:
+        An OS test configuration and a that support the NuttShell (NSH).
+        The OS test configuration is fully functional and proves that we have a basically healthy NuttX port to the Mirtoo.
+        See the <a href="http://www.nuttx.org/NuttShell.html">NSH User Guide</a> for further information about NSH.
+        There are some remaining issues to be resolved with the NSH configuration but, with any luck, the verified port should be available with the NuttX 6.20 release.
       </p>
     </ul>
   </td>