diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 8bb4629927..d0e699e8d6 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -3521,26 +3521,26 @@ nsh>
   <td>
     <p>
       <a name="titm4c123g"><b>TI Tiva TM4C123G</b>.</a>
-      This port uses the TI Tiva TM4C123G LaunchPad.
+      This port uses the Tiva C Series TM4C123G LaunchPad Evaluation Kit <a href="http://www.ti.com/tool/ek-tm4c123gxl">(EK-TM4C123GXL)</a>.
     </p>
     <ul>
       <p>
         <b>STATUS:</b>
         <ul>
           <li>
-            Initial architectural support for the TI Tiva TM4C123G was implemented and was released in NuttX 7.1.
-            Basic board support the TM4C123G LaunchPad was also included in that release but was not fully tested.
+            Initial architectural support for the EK-TM4C123GXL was implemented and was released in NuttX 7.1.
+            Basic board support the EK-TM4C123GXL was also included in that release but was not fully tested.
             This basic board support included a configuration for the NuttShell <a href="http://www.nuttx.org/Documentation/NuttShell.html">NSH</a>).
            </li>
            <li>
-              The fully verified port to the TM4C123G LaunchPad is provided in NuttX-7.2.
+              The fully verified port to the EK-TM4C123GXL was provided in NuttX-7.2.
            </li>
            <li>
               An I2C driver was added in NuttX-7.7.
            </li>
         </ul>
       </p>
-        Refer to the TM4C123G LaunchPad board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c123g-launchpad/README.txt">README</a> file for more detailed information about this port.
+        Refer to the EK-TM4C123GXL board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c123g-launchpad/README.txt">README</a> file for more detailed information about this port.
       </p>
     </ul>
   </td>
@@ -3554,19 +3554,19 @@ nsh>
   <td>
     <p>
       <a name="titm4c1294"><b>TI Tiva TM4C1294</b>.</a>
-      This port uses the TI Tiva TM4C1294 LaunchPad.
+      This port uses the TI Tiva C Series TM4C1294 Connected LaunchPad <a href="http://www.ti.com/tool/ek-tm4c1294xl">(EK-TM4C1294XL)</a>.
     </p>
     <ul>
       <p>
         <b>STATUS:</b>
         <ul>
           <li>
-            Support for the TI Tiva TM4C123G Launchpad was contributed by Frank Sautter and was released in NuttX 7.9.
+            Support for the EK-TM4C1294XL was contributed by Frank Sautter and was released in NuttX 7.9.
             This basic board support included a configuration for the NuttShell <a href="http://www.nuttx.org/Documentation/NuttShell.html">NSH</a>) and a configuration for testing IPv6.
            </li>
         </ul>
       </p>
-        Refer to the TM4C1294 LaunchPad board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c1294-launchpad/README.txt">README</a> file for more detailed information about this port.
+        Refer to the EK-TM4C1294XL board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/tm4c1294-launchpad/README.txt">README</a> file for more detailed information about this port.
       </p>
     </ul>
   </td>
@@ -3580,14 +3580,14 @@ nsh>
   <td>
     <p>
       <a name="titm4c129x"><b>TI Tiva TM4C129X</b>.</a>
-      This port uses the TI Tiva DK-TM4C129X Connected Development Kit.
+      This port uses the TI Tiva C Series TM4C129x Connected Development Kit <a href="http://www.ti.com/tool/dk-tm4c129x">(DK-TM4C129X)</a>.
     </p>
     <ul>
       <p>
         <b>STATUS:</b>
         <ul>
           <li>
-            A mature port to the DK-TM4C123G was implemented and was released in NuttX 7.7.
+            A mature port to the DK-TM4C129X was implemented and was released in NuttX 7.7.
           </li>
           <li>
             At the initial release, verified drivers were available for Ethernet interface, I2C, and timers as well as board LEDs and push buttons.
@@ -3600,7 +3600,7 @@ nsh>
           </li>
         </ul>
       </p>
-        Refer to the TM4C129X LaunchPad board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/dk-tm4c129x/README.txt">README</a> file for more detailed information about this port.
+        Refer to the DK-TM4C129X board <a href="http://sourceforge.net/p/nuttx/git/ci/master/tree/nuttx/configs/dk-tm4c129x/README.txt">README</a> file for more detailed information about this port.
       </p>
     </ul>
   </td>