#
# TI Tiva C Series dk-tm4c129x Connected Development Kit
#
# http://www.ti.com/tool/dk-tm4c129x
#

source [find interface/ti-icdi.cfg]

set WORKAREASIZE 0x40000 # RAM size
set CHIPNAME tm4c129xnczad

source [find target/stellaris_icdi.cfg]