diff --git a/configs/tm4c1294-launchpad/README.txt b/configs/tm4c1294-launchpad/README.txt
index 74e26603ec..c12b22904a 100644
--- a/configs/tm4c1294-launchpad/README.txt
+++ b/configs/tm4c1294-launchpad/README.txt
@@ -1,6 +1,12 @@
 README
 ======
 
-  This is a placeholder for the README file for a forthcoming port to the tm4c1294 Launchpad
-  (more correctly, th ek-tm4c124xl).
+  This is a placeholder for the README file for a forthcoming port to the
+  tm4c1294 Launchpad (more correctly, th ek-tm4c124xl).
 
+Serial Console
+==============
+
+  These configurations use UART0 for the serial console.  UART0 is connected
+  to the on-board TM4C123G-based debugger and is forwarded through the ICDI
+  virtual UART.
\ No newline at end of file
diff --git a/configs/tm4c1294-launchpad/include/board.h b/configs/tm4c1294-launchpad/include/board.h
index bd12d07e40..d54a4a8af8 100644
--- a/configs/tm4c1294-launchpad/include/board.h
+++ b/configs/tm4c1294-launchpad/include/board.h
@@ -127,18 +127,18 @@
 
 /* LED index values for use with tiva_setled() */
 
-#define BOARD_LED_D1              0
-#define BOARD_LED_D2              1
-#define BOARD_LED_D3              2
-#define BOARD_LED_D4              3
-#define BOARD_NLEDS               4
+#define BOARD_LED_D1      0
+#define BOARD_LED_D2      1
+#define BOARD_LED_D3      2
+#define BOARD_LED_D4      3
+#define BOARD_NLEDS       4
 
 /* LED bits for use with tiva_setleds() */
 
-#define BOARD_LED_D1_BIT           (1 << BOARD_LED_D1)
-#define BOARD_LED_D2_BIT           (1 << BOARD_LED_D2)
-#define BOARD_LED_D3_BIT           (1 << BOARD_LED_D3)
-#define BOARD_LED_D4_BIT           (1 << BOARD_LED_D4)
+#define BOARD_LED_D1_BIT  (1 << BOARD_LED_D1)
+#define BOARD_LED_D2_BIT  (1 << BOARD_LED_D2)
+#define BOARD_LED_D3_BIT  (1 << BOARD_LED_D3)
+#define BOARD_LED_D4_BIT  (1 << BOARD_LED_D4)
 
 /* If CONFIG_ARCH_LEDS is defined, then automated support for the EK-TM4C1294XL LED
  * will be included in the build: