diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html
index 02a55b317a..b98523dbe9 100644
--- a/Documentation/NuttX.html
+++ b/Documentation/NuttX.html
@@ -2289,7 +2289,7 @@ nsh>
     <ol>
       <li>
         <p>
-          <b>SiLabs EFM32 Gecko Starter Kit t (EFM32-G8XX-STK)</b>.
+          <b>SiLabs EFM32 Gecko Starter Kit (EFM32-G8XX-STK)</b>.
           The Gecko Starter Kit features:
         <p>
         <ul>
@@ -2384,8 +2384,8 @@ nsh>
         <p>
         <b>STATUS</b>.
           As of this writing, the basic board support is available for the <i>Giant Gecko</i> in the NuttX source tree.
-          A basic configuration is available for the NuttShell (NSH).
-          Testing is on hold, however, pending the arrival of hardware.
+          A verified configuration is available for the basic NuttShell (NSH) using LEUART0 for the serial console.
+          Development of USB support is in progress.
         </p>
       </li>
     </ol>