tcl/target: add SPDX tag

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

diff --git a/tcl/target/imx31.cfg b/tcl/target/imx31.cfg
index b9eddd0659d185abeddd16a9b33e1524e5c66148..10e9fefc01d197979757923fea63d902c4a9a6e9 100644 (file)
--- a/tcl/target/imx31.cfg
+++ b/tcl/target/imx31.cfg
@@ -1,35 +1,37 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # imx31 config
 #
 
 reset_config trst_and_srst srst_gates_jtag
 
-adapter_nsrst_delay 5
+adapter srst delay 5
 
 if { [info exists CHIPNAME] } {
-   set  _CHIPNAME $CHIPNAME
+   set _CHIPNAME $CHIPNAME
 } else {
-   set  _CHIPNAME imx31
+   set _CHIPNAME imx31
 }
 
 if { [info exists ENDIAN] } {
-   set  _ENDIAN $ENDIAN
+   set _ENDIAN $ENDIAN
 } else {
-   set  _ENDIAN little
+   set _ENDIAN little
 }
 
-if { [info exists CPUTAPID ] } {
+if { [info exists CPUTAPID] } {
    set _CPUTAPID $CPUTAPID
 } else {
    set _CPUTAPID 0x07b3601d
 }
 
-if { [info exists SDMATAPID ] } {
+if { [info exists SDMATAPID] } {
    set _SDMATAPID $SDMATAPID
 } else {
    set _SDMATAPID 0x2190101d
 }
 
-if { [info exists ETBTAPID ] } {
+if { [info exists ETBTAPID] } {
    set _ETBTAPID $ETBTAPID
 } else {
    set _ETBTAPID 0x2b900f0f