diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 55192bc47ec..ff565f2b8c8 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -2598,7 +2598,6 @@ nsh>
           This board is based on the NXP LPC1769.
           The initial release was included NuttX-6.26.
           The Nuttx Buildroot toolchain is used by default.
-          This is still a port under development.
           Verifed configurations include the "Hello, World!" example application and a THTTPD demonstration.
           Refer to the NuttX board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/zkit-arm-1769/README.txt">README</a> file for further information.
         </p>
diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html
index 7da6aafd40f..8c67c28ada2 100644
--- a/Documentation/NuttxPortingGuide.html
+++ b/Documentation/NuttxPortingGuide.html
@@ -832,7 +832,6 @@
   <li><code>configs/lpcxpresso-lpc1768</code>:
     Embedded Artists base board with NXP LPCExpresso LPC1768.  This board
     is based on the NXP LPC1768.  The Code Red toolchain is used by default.
-    STATUS:  Under development.
   </li>
 
   <li><code>configs/m68322evb</code>:
@@ -870,8 +869,7 @@
   <li><code>configs/ne64badge</code>:
     Future Electronics Group NE64 /PoE Badge board based on the
     MC9S12NE64 hcs12 cpu.  This port uses the m9s12x GCC toolchain.
-    STATUS:  Under development.  The port is code-complete but has
-    not yet been fully tested.
+    STATUS:  The port is code-complete but was never fully tested.
   </li>
 
   <li><code>configs/ntosd-dm320</code>: