tcl/target/stm32l4x: switch to new TPIU/SWO support

[fw/openocd] / tcl / board / novena-internal-fpga.cfg

diff --git a/tcl/board/novena-internal-fpga.cfg b/tcl/board/novena-internal-fpga.cfg
index 0e9ff5b1f6ad7e5248628691e5835f5e712dda87..780586223d082c1af658c5e7b65eca983cbf5451 100644 (file)
--- a/tcl/board/novena-internal-fpga.cfg
+++ b/tcl/board/novena-internal-fpga.cfg
@@ -19,6 +19,6 @@ adapter driver sysfsgpio
 transport select jtag
 
 # TCK TMS TDI TDO
-sysfsgpio_jtag_nums 136 139 137 138
+sysfsgpio jtag_nums 136 139 137 138
 
 source [find cpld/xilinx-xc6s.cfg]