diff --git a/tcl/board/novena-internal-fpga.cfg b/tcl/board/novena-internal-fpga.cfg
index 0e9ff5b1f..780586223 100644
--- 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]
diff --git a/tcl/interface/sysfsgpio-raspberrypi.cfg b/tcl/interface/sysfsgpio-raspberrypi.cfg
index ebb150219..0030560ca 100644
--- a/tcl/interface/sysfsgpio-raspberrypi.cfg
+++ b/tcl/interface/sysfsgpio-raspberrypi.cfg
@@ -12,19 +12,19 @@ adapter driver sysfsgpio
 
 # Each of the JTAG lines need a gpio number set: tck tms tdi tdo
 # Header pin numbers: 23 22 19 21
-sysfsgpio_jtag_nums 11 25 10 9
+sysfsgpio jtag_nums 11 25 10 9
 
 # Each of the SWD lines need a gpio number set: swclk swdio
 # Header pin numbers: 23 22
-sysfsgpio_swd_nums 11 25
+sysfsgpio swd_nums 11 25
 
 # If you define trst or srst, use appropriate reset_config
 # Header pin numbers: TRST - 26, SRST - 18
 
-# sysfsgpio_trst_num 7
+# sysfsgpio trst_num 7
 # reset_config trst_only
 
-# sysfsgpio_srst_num 24
+# sysfsgpio srst_num 24
 # reset_config srst_only srst_push_pull
 
 # or if you have both connected,