tcl/interface: add SPDX tag
[fw/openocd] / tcl / interface / jtag_vpi.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 adapter driver jtag_vpi
4
5 # Set the VPI JTAG server port
6 if { [info exists VPI_PORT] } {
7    set _VPI_PORT $VPI_PORT
8 } else {
9    set _VPI_PORT 5555
10 }
11
12 # Set the VPI JTAG server address
13 if { [info exists VPI_ADDRESS] } {
14    set _VPI_ADDRESS $VPI_ADDRESS
15 } else {
16    set _VPI_ADDRESS "127.0.0.1"
17 }
18
19 jtag_vpi set_port $_VPI_PORT
20 jtag_vpi set_address $_VPI_ADDRESS