tcl/board: add SPDX tag

[fw/openocd] / tcl / board / at91eb40a.cfg

diff --git a/tcl/board/at91eb40a.cfg b/tcl/board/at91eb40a.cfg
index 14f21a1ac37cc3970abacfaf7d41b8e7f3f774b3..60c6c6eac4c72e4b76affebd90090366ba57ea47 100644 (file)
--- a/tcl/board/at91eb40a.cfg
+++ b/tcl/board/at91eb40a.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #Script for AT91EB40a
 
 # FIXME use some standard target config, maybe create one from this
@@ -16,10 +18,9 @@ if { [info exists ENDIAN] } {
    set  _ENDIAN little
 }
 
-if { [info exists CPUTAPID ] } {
+if { [info exists CPUTAPID] } {
    set _CPUTAPID $CPUTAPID
 } else {
-  # force an error till we get a good number
    set _CPUTAPID 0x1f0f0f0f
 }
 
@@ -46,14 +47,14 @@ arm7_9 dcc_downloads enable
 
 #flash driver
 set _FLASHNAME $_CHIPNAME.flash
-flash bank $_FLASHNAME ecosflash 0x01000000 0x200000 2 2 $_TARGETNAME ecos/at91eb40a.elf
+flash bank $_FLASHNAME cfi 0x01000000 0x200000 2 2 $_TARGETNAME
 
 # required for usable performance. Used for lots of
 # other things than flash programming.
 $_TARGETNAME configure -work-area-phys 0x00030000 -work-area-size 0x10000 -work-area-backup 0
 
 $_TARGETNAME configure -event reset-init {
-       puts "Running reset init script for AT91EB40A"
+       echo "Running reset init script for AT91EB40A"
        # Reset script for AT91EB40a
        reg cpsr 0x000000D3
        mww 0xFFE00020 0x1
@@ -65,4 +66,4 @@ $_TARGETNAME configure -event reset-init {
 }
 
 # This target is pretty snappy...
-adapter_khz 16000
+adapter speed 16000