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>
diff --git a/configs/efm32gg-stk3700/README.txt b/configs/efm32gg-stk3700/README.txt
index 8d54a697ab..c85a99c711 100644
--- a/configs/efm32gg-stk3700/README.txt
+++ b/configs/efm32gg-stk3700/README.txt
@@ -27,8 +27,9 @@ STATUS
 ======
 
   2014-11-02:  Completed the basic NSH configuration for the EFM32 Giant Gecko
-    Starter Kit.  The hardware is on order and the port will be verified sometime
-    thereafter.
+    Starter Kit.
+  2014-11-12:  The basic NSH configuration is functional with a serial console
+    on LEUART0.
 
 LEDs and Buttons
 ================