diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index c8384e7f598c..51c8758f6e07 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -1544,10 +1544,11 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
       <li><a href="#80x86">Intel 80x86</a> (2)</li>
     </ul>
   </li>
-  <li>MicroChip
+  <li>Microchip
     <ul>
-      <li><a href="#pic32mxmips">PIC32MX</a> (MIPS 24Kc) (4)</li>
-      <li><a href="#pic32mzmips">PIC32MZ</a> (MIPS M14K) (2)</li>
+      <li><a href="#pic32mxmips">PIC32MX</a> (MIPS M4K) (4)</li>
+      <li><a href="#pic32mzmips">PIC32MZEC</a> (MIPS microAptive) (1)</li>
+      <li><a href="#pic32mzmips">PIC32MZEF</a> (MIPS M5150) (1)</li>
     </ul>
   </li>
   <li>Misoc
@@ -1642,13 +1643,13 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
       <li><a href="#max3660">MAX32660</a> <small>(ARM Cortex-M3)</small></li>
     </ul>
   </li>
-  <li>MicroChip
+  <li>Microchip
     <ul>
-      <li><a href="#pic32mx2xx">PIC32MX2xx Family</a> <small>(MIPS32 24Kc)</small></li>
-      <li><a href="#pic32mx4xx">PIC32MX4xx Family</a> <small>(MIPS32 24Kc)</small></li>
-      <li><a href="#pic32mx7xx">PIC32MX7xx Family</a> <small>(MIPS32 24Kc)</small></li>
-      <li><a href="#pic32mzec">PIC32MZEC Family</a> <small>(MIPS32 M14K)</small></li>
-      <li><a href="#pic32mzef">PIC32MZEF Family</a> <small>(MIPS32 M14K)</small></li>
+      <li><a href="#pic32mx2xx">PIC32MX2xx Family</a> <small>(MIPS32 M4K)</small></li>
+      <li><a href="#pic32mx4xx">PIC32MX4xx Family</a> <small>(MIPS32 M4K)</small></li>
+      <li><a href="#pic32mx7xx">PIC32MX7xx Family</a> <small>(MIPS32 M4K)</small></li>
+      <li><a href="#pic32mzec">PIC32MZEC Family</a> <small>(MIPS32 microAptiv)</small></li>
+      <li><a href="#pic32mzef">PIC32MZEF Family</a> <small>(MIPS32 M5150)</small></li>
     </ul>
   </li>
   <li>Microchip (Formerly Atmel)
@@ -6434,7 +6435,7 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <a name="pic32mxmips"><b>MicroChip PIC32MX (MIPS 24Kc)</b>.</a>
+    <a name="pic32mxmips"><b>Microchip PIC32MX (MIPS M4K)</b>.</a>
   </td>
 </tr>
 <tr>
@@ -6443,7 +6444,7 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
     <p>
       <a name="pic32mx2xx"><b>PIC32MX250F128D</b>.</a>
       A port is in progress from the DTX1-4000L &quot;Mirtoo&quot; module from <a href="http://www.dimitech.com/" >Dimitech</a>.
-      This module uses MicroChip PIC32MX250F128D and the Dimitech DTX1-4000L EV-kit1 V2.
+      This module uses Microchip PIC32MX250F128D and the Dimitech DTX1-4000L EV-kit1 V2.
       See the <a href="http://www.dimitech.com/">Dimitech</a> website for further information.
     </p>
     <ul>
@@ -6476,7 +6477,7 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
     <p>
       <b>PIC32MX440F512H</b>.
         This port uses the &quot;Advanced USB Storage Demo Board,&quot; Model DB-DP11215, from <a href="http://www.sureelectronics.net">Sure Electronics</a>.
-        This board features the MicroChip PIC32MX440F512H.
+        This board features the Microchip PIC32MX440F512H.
         See the <a href="http://www.sureelectronics.net/goods.php?id=1168">Sure website</a> for further information about the DB-DP11215 board.
         (I believe that that the DB-DP11215 may be obsoleted now but replaced with the very similar, DB-DP11212.
         The DB-DP11212 board differs, I believe, only in its serial port configuration.)
@@ -6511,7 +6512,7 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
     </p>
     <li><b>UBW32 Board from Sparkfun</b>
       This is the port to the Sparkfun UBW32 board.
-      This port uses the <a href="http://www.sparkfun.com/products/8971">original v2.5</a> board which is based on the MicroChip PIC32MX460F512L.
+      This port uses the <a href="http://www.sparkfun.com/products/8971">original v2.5</a> board which is based on the Microchip PIC32MX460F512L.
       This older version has been replaced with this <a href="http://www.sparkfun.com/products/9713">newer board</a>.
       See also the <a href="http://www.schmalzhaus.com/UBW32/">UBW32</a> web site.
     </li>
@@ -6593,7 +6594,7 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
     <ol>
       <li>
         The <i>LITE</i> version of the PIC32MX toolchain available
-        for download from the <a href="http://www.microchip.com">MicroChip</a> website, or
+        for download from the <a href="http://www.microchip.com">Microchip</a> website, or
       </li>
       <li>
         The Pinguino MIPS ELF toolchain available from the Pinguino <a href="http://code.google.com/p/pinguino32/downloads/list">website</a>.
@@ -6607,14 +6608,14 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
 <tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
-    <a name="pic32mzmips"><b>MicroChip PIC32MZ (MIPS M14K)</b>.</a>
+    <a name="pic32mzmips"><b>Microchip PIC32MZ</b>.</a>
   </td>
 </tr>
 <tr>
   <td><br></td>
   <td>
     <p>
-      <a name="pic32mzec"><b>PIC32MZEC Family</b>.</a>
+      <a name="pic32mzec"><b>PIC32MZEC Family (MIPS microAptiv)</b>.</a>
       A port is in available for the PIC32MZ Embedded Connectivity (EC) Starter Kit.
       There are two configurations of the Microchip PIC32MZ EC Starter Kit:
     </p>
@@ -6630,7 +6631,7 @@ <h2><a name="changelogs"><b>Release Notes and Change Logs</b>:</a></h2>
       The basic port is functional and a NuttShell (NSH) configuration is available.
     </p>
     <p>
-      <a name="pic32mzef"><b>PIC32MZEF Family</b>.</a>
+      <a name="pic32mzef"><b>PIC32MZEF Family (MIPS M5150)</b>.</a>
       A port is in available for the MikroElectronika <a href="https://www.mikroe.com/flipclick-pic32mz">Flip&amp;Click PIC32MZ</a> development board based on the PIC32MZ2048EFH100 MCU.
       This board configuration was added in NuttX-7.24 and is, for the most part, compatible with the PIC32MZEC family.
     </p>