tcl/board: add SPDX tag
[fw/openocd] / tcl / board / ek-lm4f232.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 #
4 # TI Stellaris LM4F232 Evaluation Kits
5 #
6 # http://www.ti.com/tool/ek-lm4f232
7 #
8
9 #
10 # NOTE: using the bundled ICDI interface is optional!
11 # This interface is not ftdi based as previous boards were
12 #
13 source [find interface/ti-icdi.cfg]
14
15 transport select hla_jtag
16
17 set WORKAREASIZE 0x8000
18 set CHIPNAME lm4f23x
19 source [find target/stellaris.cfg]