jtag_vpi: make the server address configurable

[fw/openocd] / tcl / interface / jtag_vpi.cfg

diff --git a/tcl/interface/jtag_vpi.cfg b/tcl/interface/jtag_vpi.cfg
index 2756b254f42be92e49813ef63d38c3dd98080a25..a37a11ed058fb10bb7e71e8cd157bc44611362d3 100644 (file)
--- a/tcl/interface/jtag_vpi.cfg
+++ b/tcl/interface/jtag_vpi.cfg
@@ -1,10 +1,18 @@
 interface jtag_vpi
 
-# Set the VPI JTAG server address
+# Set the VPI JTAG server port
 if { [info exists VPI_PORT] } {
    set _VPI_PORT $VPI_PORT
 } else {
-   set _VPI_PORT 50020
+   set _VPI_PORT 5555
+}
+
+# Set the VPI JTAG server address
+if { [info exists VPI_ADDRESS] } {
+   set _VPI_ADDRESS $VPI_ADDRESS
+} else {
+   set _VPI_ADDRESS "127.0.0.1"
 }
 
 jtag_vpi_set_port $_VPI_PORT
+jtag_vpi_set_address $_VPI_ADDRESS