From 3984cb98e4e369a8789703fc7599641afb4cb2a0 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 16 Dec 2014 15:29:14 -0600
Subject: [PATCH] Add basic board support for the DK-TM4C129X Connected
 Development Kit.  The initial commit is simply the TM4C123G Launchpad with
 naming changes

---
 configs/Kconfig    | 14 ++++++++++++++
 configs/README.txt |  6 +++++-
 2 files changed, 19 insertions(+), 1 deletion(-)

diff --git a/configs/Kconfig b/configs/Kconfig
index 8bbed2a07e..2a0eedb65e 100644
--- a/configs/Kconfig
+++ b/configs/Kconfig
@@ -96,6 +96,16 @@ config ARCH_BOARD_DEMOS92S12NEC64
 	port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
 	is code complete but has not yet been verified.
 
+config ARCH_BOARD_DK_TM4C129X
+	bool "Tiva DK-TM4C129x Connected Development Kit"
+	depends on ARCH_CHIP_TM4C129XNCZAD
+	select ARCH_HAVE_LEDS
+	select ARCH_HAVE_BUTTONS
+	select ARCH_HAVE_IRQBUTTONS
+	---help---
+		Tiva DK-TM4C129x Connected Development Kit featuring the
+		TM4C129XNCZAD MCU.
+
 config ARCH_BOARD_EA3131
 	bool "Embedded Artists EA3131 Development board"
 	depends on ARCH_CHIP_LPC3131
@@ -1023,6 +1033,7 @@ config ARCH_BOARD
 	default "compal_e88"               if ARCH_BOARD_COMPALE88
 	default "compal_e99"               if ARCH_BOARD_COMPALE99
 	default "demo9s12ne64"             if ARCH_BOARD_DEMOS92S12NEC64
+	default "dk-tm4c129x"       if ARCH_BOARD_DK_TM4C129X
 	default "ea3131"                   if ARCH_BOARD_EA3131
 	default "ea3152"                   if ARCH_BOARD_EA3152
 	default "eagle100"                 if ARCH_BOARD_EAGLE100
@@ -1191,6 +1202,9 @@ endif
 if ARCH_BOARD_DEMOS92S12NEC64
 source "configs/demo9s12ne64/Kconfig"
 endif
+if ARCH_BOARD_DK_TM4C129X
+source "configs/dk-tm4c129x/Kconfig"
+endif
 if ARCH_BOARD_EA3131
 source "configs/ea3131/Kconfig"
 endif
diff --git a/configs/README.txt b/configs/README.txt
index ad62930aed..9d09fe73f6 100644
--- a/configs/README.txt
+++ b/configs/README.txt
@@ -202,6 +202,10 @@ configs/demo9s12ne64
   port uses the m9s12x GCC toolchain.  STATUS:  (Still) under development; it
   is code complete but has not yet been verified.
 
+configs/dk-tm4c129x
+  This is the port of NuttX to the TivaŽ DK-TM4C129x Connected Development Kit.  The
+  TivaŽ DK-TM4C129x features the TM4C129XNCZAD MCU.
+
 configs/ea3131
   Embedded Artists EA3131 Development board.  This board is based on the
   an NXP LPC3131 MCU. This OS is built with the arm-nuttx-elf toolchain*.
@@ -573,7 +577,7 @@ configs/teensy
   on an Atmel AT90USB1286 MCU.
 
 configs/tm4c123g-launchpad
-  This is the port of NuttX to the Tiva TM4C123G LaunchPad.  The
+  This is the port of NuttX to the TivaŽ TM4C123G LaunchPad.  The
   TivaŽ TM4C123G LaunchPad Evaluation Board is a low-cost evaluation
   platform for ARMŽ Cortex™-M4F-based microcontrollers from Texas
   Instruments.