diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index c6455af6d20..4044642d450 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -417,6 +417,10 @@
   The level of network reliability is at a strong beta release level.  The
   baseline functionality of NuttX continues to mature and remains at
   post-beta or production level.
+  Extensive testing has been done for the ARM architecture using the GCC
+  compiler/toolchain.
+  Other architectures and the SDCC toolchain are also supported but not as
+  well exercised.
 </p>
 
 <p>
@@ -773,13 +777,14 @@ Other memory:
   </tr>
 </table>
 <ul>
-<li>ARM, ARM7 ARM7TDMI, ARM9, ARM926EJS are trademarks of Advanced RISC Machines, Limited.</li>
-<li>Cygwin is a trademark of Red Hat, Incorporated.</li>
-<li>Linux is a registered trademark of Linus Torvalds.</li>
-<li>LPC2148 is a trademark of NXP Semiconductors.</li>
-<li>TI is a tradename of Texas Instruments Incorporated.</li>
-<li>UNIX is a registered trademark of The Open Group.</li>
-<li>VxWorks is a registered trademark of Wind River Systems, Incorporated.</li>
+  <li>ARM, ARM7 ARM7TDMI, ARM9, ARM926EJS are trademarks of Advanced RISC Machines, Limited.</li>
+  <li>Cygwin is a trademark of Red Hat, Incorporated.</li>
+  <li>Linux is a registered trademark of Linus Torvalds.</li>
+  <li>LPC2148 is a trademark of NXP Semiconductors.</li>
+  <li>TI is a tradename of Texas Instruments Incorporated.</li>
+  <li>UNIX is a registered trademark of The Open Group.</li>
+  <li>VxWorks is a registered trademark of Wind River Systems, Incorporated.</li>
+  <li>Z80 is a registered trademark of Zilog, Inc.</li>
 </ul>
 <p>
   NOTE: NuttX is <i>not</i> licensed to use the POSIX trademark.  NuttX uses the POSIX