src/flash/nor: flash driver for RSL10

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

diff --git a/tcl/interface/jtag_dpi.cfg b/tcl/interface/jtag_dpi.cfg
index e43386d58cace86b4150cb1dff8529bd6d4b31fb..225d4d545148fbd135dc814771e639f7c2a64958 100644 (file)
--- a/tcl/interface/jtag_dpi.cfg
+++ b/tcl/interface/jtag_dpi.cfg
@@ -1,22 +1,10 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #
 # Provide support for the Cadence JTAG BFM
 #
 # Copyright (c) 2020, Ampere Computing LLC
 #
-# This program is free software; you can redistribute it and/or
-# modify it under the terms of the GNU General Public License as
-# published by the Free Software Foundation; either version 2 of
-# the License, or (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program;
-#
-#
 
 adapter driver jtag_dpi
 
@@ -34,5 +22,5 @@ if { [info exists DPI_ADDRESS] } {
    set _DPI_ADDRESS "127.0.0.1"
 }
 
-jtag_dpi_set_port $_DPI_PORT
-jtag_dpi_set_address $_DPI_ADDRESS
+jtag_dpi set_port $_DPI_PORT
+jtag_dpi set_address $_DPI_ADDRESS