a92e131a9c45655c2a70b5ab89ba8e9585b27dcb
[fw/openocd] / tcl / interface / jtag_dpi.cfg
1 #
2 # Provide support for the Cadence JTAG BFM
3 #
4 # Copyright (c) 2020, Ampere Computing LLC
5 #
6 # This program is free software; you can redistribute it and/or
7 # modify it under the terms of the GNU General Public License as
8 # published by the Free Software Foundation; either version 2 of
9 # the License, or (at your option) any later version.
10 #
11 # This program is distributed in the hope that it will be useful,
12 # but WITHOUT ANY WARRANTY; without even the implied warranty of
13 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14 # GNU General Public License for more details.
15 #
16 # You should have received a copy of the GNU General Public License
17 # along with this program;
18 #
19 #
20
21 adapter driver jtag_dpi
22
23 # Set the DPI JTAG server port
24 if { [info exists DPI_PORT] } {
25    set _DPI_PORT $DPI_PORT
26 } else {
27    set _DPI_PORT 5555
28 }
29
30 # Set the DPI JTAG server address
31 if { [info exists DPI_ADDRESS] } {
32    set _DPI_ADDRESS $DPI_ADDRESS
33 } else {
34    set _DPI_ADDRESS "127.0.0.1"
35 }
36
37 jtag_dpi set_port $_DPI_PORT
38 jtag_dpi set_address $_DPI_ADDRESS