Add some OpenOCD scripts for some TI Tiva boards

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]

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).
+

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]