#
# TI Tiva C DK-TM4C129X Connected Development Kit
# http://www.ti.com/tool/dk-tm4c129x
source [find interface/ti-icdi.cfg]
transport select hla_jtag
set WORKAREASIZE 0x8000
set CHIPNAME tm4c129xnczad
source [find target/stellaris.cfg]