tcl/board: add SPDX tag
[fw/openocd] / tcl / board / ti_ek-tm4c1294xl.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 #
4 # TI Tiva C Series ek-tm4c1294xl Launchpad Evaluation Kit
5 #
6 # http://www.ti.com/tool/ek-tm4c1294xl
7 #
8
9 source [find interface/ti-icdi.cfg]
10
11 transport select hla_jtag
12
13 set WORKAREASIZE 0x8000
14 set CHIPNAME tm4c1294ncpdt
15
16 source [find target/stellaris.cfg]