boards/arm/tiva/tm4c1294-launchpad/tools/ek-tm4c1294xl.cfg (5 lines of code) (raw):

# # TI Tiva C Series ek-tm4c1294xl Launchpad Evaluation Kit # # http://www.ti.com/tool/ek-tm4c1294xl # source [find interface/ti-icdi.cfg] transport select hla_jtag set WORKAREASIZE 0x40000 set CHIPNAME tm4c1294ncpdt source [find target/stellaris.cfg]