tcl/board: add SPDX tag
[fw/openocd] / tcl / board / ti_cc3200_launchxl.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 #
4 # TI SimpleLink Wi-Fi CC3200 LaunchPad
5 #
6 # http://www.ti.com/tool/cc3200-launchxl
7 #
8
9 source [find interface/ftdi/ti-icdi.cfg]
10
11 if { [info exists TRANSPORT] } {
12    transport select $TRANSPORT
13 } else {
14    transport select jtag
15 }
16
17 adapter speed 2500
18
19 set WORKAREASIZE 0x40000
20 source [find target/ti_cc32xx.cfg]
21
22 reset_config srst_only
23 adapter srst delay 1100