tcl/board: add SPDX tag

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

diff --git a/tcl/board/actux3.cfg b/tcl/board/actux3.cfg
index 922d4fcf2b09f6cae6f9ccd0d9e0635b9da8546e..edb529c8896647b73e35ccb2503b334df7dd0a5a 100644 (file)
--- a/tcl/board/actux3.cfg
+++ b/tcl/board/actux3.cfg
@@ -1,10 +1,12 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 # board config file for AcTux3/XBA IXP42x board
 # Date:   2010-12-16
 # Author: Michael Schwingen <michael@schwingen.org>
 
 reset_config trst_and_srst separate
 
-adapter_nsrst_delay 100
+adapter srst delay 100
 jtag_ntrst_delay 100
 
 source [find target/ixp42x.cfg]
@@ -45,3 +47,25 @@ flash bank $_FLASHNAME cfi 0x50000000 0x400000 2 2 $_TARGETNAME
 
 init
 reset init
+
+# setup to debug u-boot in flash
+proc uboot_debug {} {
+    gdb_breakpoint_override hard
+    xscale vector_catch 0xFF
+
+    xscale vector_table low  1 0xe59ff018
+    xscale vector_table low  2 0xe59ff018
+    xscale vector_table low  3 0xe59ff018
+    xscale vector_table low  4 0xe59ff018
+    xscale vector_table low  5 0xe59ff018
+    xscale vector_table low  6 0xe59ff018
+    xscale vector_table low  7 0xe59ff018
+
+    xscale vector_table high 1 0xe59ff018
+    xscale vector_table high 2 0xe59ff018
+    xscale vector_table high 3 0xe59ff018
+    xscale vector_table high 4 0xe59ff018
+    xscale vector_table high 5 0xe59ff018
+    xscale vector_table high 6 0xe59ff018
+    xscale vector_table high 7 0xe59ff018
+}