X-Git-Url: https://review.openocd.org/gitweb?p=openocd.git;a=blobdiff_plain;f=tcl%2Ftarget%2For1k.cfg;h=ddd4fa210e5ce79693cde38ea8070fdddb9ff83f;hp=acec70026e84ce3c06d46242381a516d3f0a6fdb;hb=HEAD;hpb=93a3a82e49e7d1df855095dd541e9c04ad7823bc

diff --git a/tcl/target/or1k.cfg b/tcl/target/or1k.cfg
index acec70026e..ddd4fa210e 100644
--- 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}]