tcl/target: add SPDX tag

[fw/openocd] / tcl / target / ti_cc3220sf.cfg

diff --git a/tcl/target/ti_cc3220sf.cfg b/tcl/target/ti_cc3220sf.cfg
index 74269aa66ca494f1d9756293b130009e4d3c6b33..cf433637687ee7b8d254be625928fdb38aa79d0c 100644 (file)
--- a/tcl/target/ti_cc3220sf.cfg
+++ b/tcl/target/ti_cc3220sf.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #
 # Texas Instruments CC3220SF - ARM Cortex-M4
 #
@@ -26,11 +28,11 @@ proc ocd_process_reset_inner { MODE } {
        soft_reset_halt
 
        # Initialize MSP, PSP, and PC from vector table at flash 0x01000800
-       mem2array boot 32 0x01000800 2
+       set boot [read_memory 0x01000800 32 2]
 
-       reg msp $boot(0)
-       reg psp $boot(0)
-       reg pc $boot(1)
+       reg msp [lindex $boot 0]
+       reg psp [lindex $boot 0]
+       reg pc [lindex $boot 1]
 
        if { 0 == [string compare $MODE run ] } {
                resume