Documentation updates

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 3, 2013</p>
+      <p>Last Updated: May 6, 2013</p>
     </td>
   </tr>
 </table>
@@ -1943,10 +1943,10 @@ nsh>
     <ul>
       <p>
         <b>STATUS</b>.
-        This is a work in progress by Alan Carvalho de Assis.
-        This initial support is in place but is minimal and not yet completely stable:
+        This is the work of Alan Carvalho de Assis.
+        Verified, initial, minimal support for the Freedom KL25Z is in place in NuttX 6.27 and 6.28:
         There is a working OS test configuration that verifies the correct port of NuttX to the part and a working NuttShell (<a href="NuttShell.html">NSH</a>) configuration that might be the basis for an application development.
-        As NuttX-6.27, more testing, completion of some GPIO logic, and more device driver development are needed to make this a more complete port.
+        As of NuttX-6.28 more device driver development would be needed to make this a complete port, particularly to support  USB OTG.
       </p>
     </ul>
   </td>

configs/README.txt

@@ -1937,7 +1937,7 @@ configs/pic32mx7mmb
   http://www.mikroe.com/ for further information.
 
 configs/pirelli_dpl10
-  This directory contains the board support for pirelli dpl10 phones.
+  This directory contains the board support for Pirelli "Discus" DP-L10 phones.
   It is a variant of the compal_e88 config with the small changes for the
   differences in the board.
 

configs/pirelli_dpl10/README.txt

@@ -1,7 +1,7 @@
 pirelli_dpl10
 =============
 
-This directory contains the board support for Pirelli dpl10 phones.
+This directory contains the board support for Pirelli "Discus" DP-L10 phones.
 
 It is a variant of the compal_e88 configuration with the small change of
 enabling the IrDA serial console: