diff --git a/configs/dk-tm4c129x/tools/dk-tm4c129x.cfg b/configs/dk-tm4c129x/tools/dk-tm4c129x.cfg
index 154aaba98c9..64802e1c67f 100644
--- a/configs/dk-tm4c129x/tools/dk-tm4c129x.cfg
+++ b/configs/dk-tm4c129x/tools/dk-tm4c129x.cfg
@@ -6,7 +6,7 @@
 
 source [find interface/ti-icdi.cfg]
 
-set WORKAREASIZE 0x8000
+set WORKAREASIZE 0x40000 # RAM size
 set CHIPNAME tm4c129xnczad
-source [find target/stellaris_icdi.cfg]
 
+source [find target/stellaris_icdi.cfg]
diff --git a/configs/tm4c1294-launchpad/README.txt b/configs/tm4c1294-launchpad/README.txt
new file mode 100644
index 00000000000..74e26603ecf
--- /dev/null
+++ b/configs/tm4c1294-launchpad/README.txt
@@ -0,0 +1,6 @@
+README
+======
+
+  This is a placeholder for the README file for a forthcoming port to the tm4c1294 Launchpad
+  (more correctly, th ek-tm4c124xl).
+
diff --git a/configs/tm4c1294-launchpad/tools/ek-tm4c1294xl.cfg b/configs/tm4c1294-launchpad/tools/ek-tm4c1294xl.cfg
new file mode 100644
index 00000000000..ac8fe53a0a1
--- /dev/null
+++ b/configs/tm4c1294-launchpad/tools/ek-tm4c1294xl.cfg
@@ -0,0 +1,12 @@
+#
+# TI Tiva C Series ek-tm4c1294xl Launchpad Evaluation Kit
+#
+# http://www.ti.com/tool/ek-tm4c1294xl
+#
+
+source [find interface/ti-icdi.cfg]
+
+set WORKAREASIZE 0x40000 # RAM size
+set CHIPNAME tm4c1294ncpdt
+
+source [find target/stellaris_icdi.cfg]