diff --git a/configs/efm32-g8xx-stk/README.txt b/configs/efm32-g8xx-stk/README.txt
index 2ce5d17184e..7f51388e195 100644
--- a/configs/efm32-g8xx-stk/README.txt
+++ b/configs/efm32-g8xx-stk/README.txt
@@ -16,11 +16,20 @@ README
     • On-board SEGGER J-Link USB emulator
     • ARM 20 pin JTAG/SWD standard Debug in/out connector
 
+CONTENTS
+=======
+
+    • Status
+    • LEDs
+    • Serial Console
+    • Using the J-Link GDB Server
+    • Configurations
+
 STATUS
 ======
 
-  My board is on order and has not arrived as of this writing.  So no debug
-  has yet been done.  So the status is code-complete but untested.
+  Testing has just begun.  So the status is code-complete but only
+  partially tested.
 
 LEDs
 ====
@@ -64,7 +73,7 @@ LEDs
     on a small proportion of the time.
 *** LED2 may also flicker normally if signals are processed.
 
-Serial Console
+SERIAL CONSOLE
 ==============
 
   Pin Availability
@@ -133,8 +142,58 @@ Serial Console
    send commands to the BC. When EFM_BC_EN is low, EFM_BC_TX and EFM_BC_RX
    can be used by other applications.
 
-Configurations
+USING THE J-LINK GDB SERVER
+===========================
+
+   1. Star the J-Link GDB server.  You should see the start-up confiration
+      window.  SelectL
+
+      a. Target device = EFM32G880F128
+      b. Select Target interface = SWD
+
+   2. Press OK.  The GDB server should start and the last message in the Log
+      output should be "Waiting for GDB connection".
+
+   3. In a terminal window, start GDB:
+
+      arm-none-eabi-gdb
+
+   4. Connect to the J-Link GDB serer:
+
+     (gdb) target remote local host
+
+   5. Load and run nuttx
+
+     (gdb) mon halt
+     (gdb) load nuttx
+     (gdb) mon reset go
+
+   I had to tinker with the setup a few times repeating the same steps above
+   before things finally began to work.  Don't know why.
+
+   To debug code already burned into FLASH:
+ 
+   1. Start the GDB server as above.
+
+   2. In a terminal window, start GDB:
+
+      arm-none-eabi-gdb
+
+   3. Connect to the J-Link GDB serer:
+
+     (gdb) target remote local host
+
+   3. Load the nuttx symbol file, reset, and debug
+
+     (gdb) mon halt
+     (gdb) file nuttx
+     (gdb) mon reset
+     (gdb) s
+     ...
+
+CONFIGURATIONS
 ==============
+
   Each EFM32 Gecko Starter Kit configuration is maintained in a sub-directory
   and can be selected as follow: