1 # SPDX-License-Identifier: GPL-2.0-or-later
4 # TI Tiva C Series ek-tm4c1294xl Launchpad Evaluation Kit
6 # http://www.ti.com/tool/ek-tm4c1294xl
9 source [find interface/ti-icdi.cfg]
11 transport select hla_jtag
13 set WORKAREASIZE 0x8000
14 set CHIPNAME tm4c1294ncpdt
16 source [find target/stellaris.cfg]