diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 85b5134694c..fa2acdbc869 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 23, 2012</p>
+      <p>Last Updated: April 25, 2012</p>
     </td>
   </tr>
 </table>
@@ -2252,7 +2252,9 @@
       </li>
       <p>
        <b>STATUS:</b>
-         A configuration exists for this board, but has not been verfied as of this writing.
+         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.
       </p>
     </ul>
   </td>