+# SPDX-License-Identifier: GPL-2.0-or-later
+
#
# TI SimpleLink Wi-Fi CC3200 LaunchPad
#
transport select jtag
}
-adapter_khz 2500
+adapter speed 2500
set WORKAREASIZE 0x40000
source [find target/ti_cc32xx.cfg]
reset_config srst_only
+adapter srst delay 1100