diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index e928a0861f..c6455af6d2 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: December 18, 2007</p>
+      <p>Last Updated: December 30, 2007</p>
     </td>
   </tr>
 </table>
@@ -535,6 +535,30 @@
     </p>
    </td>
 </tr>
+<tr>
+  <td valign="top"><img src="favicon.ico"></td>
+  <td bgcolor="#5eaee1">
+    <b>Z80</b>
+  </td>
+</tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p>
+      <b>Z80 Instruction Set Simulator</b>.
+      This port uses the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain
+      (verfied using version 2.6.0).
+      This port has been verified using only a Z80 instruction simulator.
+      That simulator can be found in the NuttX CVS
+      <a href="http://nuttx.cvs.sourceforge.net/nuttx/misc/sims/z80sim/">here</a>.
+    </p>
+    <p>
+     <b>STATUS:</b>
+      This port is complete and stable to the extent that it can be teste
+      using an instruction set simulator.
+    </p>
+   </td>
+</tr>
 <tr>
   <td valign="top"><img src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 4f54d4cdae..538a18d204 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -420,6 +420,10 @@
   <li><code>arch/pjrc-8051</code>:
     8051 Microcontroller.  This port is not quite ready for prime time.</li>
   </li>
+
+  <li><code>arch/z80</code>:
+    z80 Microcontroller.  This port has been verified using only a z80 instruction simulator.</li>
+  </li>
 </ul>
 
 <p>
@@ -584,7 +588,16 @@
 
   <li><code>configs/pjrc-8051</code>:
     8051 Microcontroller.  This port uses the PJRC 87C52 development system
-    and the SDCC toolchain.   This port is not quite ready for prime time.
+    and the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain.
+    This port is not quite ready for prime time.
+  </li>
+
+  <li><code>configs/z80sim</code>:
+    z80 Microcontroller.  This port uses a Z80 instruction set simulator.
+    That simulator can be found in the NuttX CVS
+    <a href="http://nuttx.cvs.sourceforge.net/nuttx/misc/sims/z80sim/">here</a>.
+    This port also the <a href="http://sdcc.sourceforge.net/">SDCC</a> toolchain
+    (verfied with version 2.6.0).
   </li>
 </ul>