diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 68b3d4d8148..cb637824d29 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: June 17, 2009</p>
+      <p>Last Updated: June 18, 2009</p>
     </td>
   </tr>
 </table>
@@ -1488,6 +1488,7 @@ buildroot-0.1.7 2009-xx-xx &lt;spudmonkey@racsa.co.cr&gt;
 
 	* configs/avr-defconfig-4.3.3: Added support for AVR to support a NuttX
 	  port of the ATmega128.
+	* toolchain/nxflat:  Added logic to build NuttX NXFLAT binding support tools
 </pre></ul>
 
 <table width ="100%">
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index bc36b19ac12..2580cf0b03c 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -12,7 +12,7 @@
       <h1><big><font color="#3c34ec">
         <i>NuttX RTOS Porting Guide</i>
       </font></big></h1>
-      <p>Last Updated: June 17, 2009</p>
+      <p>Last Updated: June 18, 2009</p>
     </td>
   </tr>
 </table>
@@ -2104,6 +2104,11 @@ extern void up_ledoff(int led);
     <code>CONFIG_SDCLONE_DISABLE</code>: Disable cloning of all socket
     desciptors by task_create() when a new task is started.
     If set, all sockets will appear to be closed in the new task.
+  </li>: 
+  <li>
+    <code>CONFIG_NXFLAT</code>: Enable support for the NXFLAT binary format.
+    This format will support execution of NuttX binaries located
+    in a ROMFS filesystem (see <code>examples/nxflat</code>).
   </li>
 </ul>