f2f90f745048acb9c432c338f4f47919d5c82e6c
[fw/openocd] / tcl / interface / jtag_vpi.cfg
1 adapter driver jtag_vpi
2
3 # Set the VPI JTAG server port
4 if { [info exists VPI_PORT] } {
5    set _VPI_PORT $VPI_PORT
6 } else {
7    set _VPI_PORT 5555
8 }
9
10 # Set the VPI JTAG server address
11 if { [info exists VPI_ADDRESS] } {
12    set _VPI_ADDRESS $VPI_ADDRESS
13 } else {
14    set _VPI_ADDRESS "127.0.0.1"
15 }
16
17 jtag_vpi set_port $_VPI_PORT
18 jtag_vpi set_address $_VPI_ADDRESS