+# SPDX-License-Identifier: GPL-2.0-or-later
+
#
# Texas Instruments CC3220SF - ARM Cortex-M4
#
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