tcl/target: add SPDX tag

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

diff --git a/tcl/target/ti_cc3220sf.cfg b/tcl/target/ti_cc3220sf.cfg
index 3e758e6ab2adc8006944a9850188455b295342c0..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
 #
@@ -25,12 +27,12 @@ proc ocd_process_reset_inner { MODE } {
 
        soft_reset_halt
 
-       # Intialize MSP, PSP, and PC from vector table at flash 0x01000800
-       mem2array boot 32 0x01000800 2
+       # Initialize MSP, PSP, and PC from vector table at flash 0x01000800
+       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