tcl/board: add SPDX tag
[fw/openocd] / tcl / board / ti_dk-tm4c129.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 #
4 # TI Tiva C DK-TM4C129X Connected Development Kit
5 #
6 # http://www.ti.com/tool/dk-tm4c129x
7 #
8
9 source [find interface/ti-icdi.cfg]
10
11 transport select hla_jtag
12
13 set WORKAREASIZE 0x8000
14 set CHIPNAME tm4c129xnczad
15
16 source [find target/stellaris.cfg]