tcl/target: add SPDX tag

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

diff --git a/tcl/target/or1k.cfg b/tcl/target/or1k.cfg
index acec70026e84ce3c06d46242381a516d3f0a6fdb..ddd4fa210e5ce79693cde38ea8070fdddb9ff83f 100644 (file)
--- a/tcl/target/or1k.cfg
+++ b/tcl/target/or1k.cfg
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 set  _ENDIAN big
 
 if { [info exists CHIPNAME] } {
@@ -61,10 +63,12 @@ if { [string compare $_TAP_TYPE "VJTAG"] == 0 } {
 
 # Select the debug unit core we are using. This debug unit as an option.
 
-proc ADBG_USE_HISPEED {}       { return 1 }
+set ADBG_USE_HISPEED           1
+set ENABLE_JSP_SERVER          2
+set ENABLE_JSP_MULTI           4
 
 # If ADBG_USE_HISPEED is set (options bit 1), status bits will be skipped
 # on burst reads and writes to improve download speeds.
 # This option must match the RTL configured option.
 
-du_select adv [ADBG_USE_HISPEED]
+du_select adv [expr {$ADBG_USE_HISPEED | $ENABLE_JSP_SERVER | $ENABLE_JSP_MULTI}]