tcl/interface: add SPDX tag
[fw/openocd] / tcl / interface / raspberrypi-native.cfg
index 2d0547f310d1b70f3f2b3949d77cffa6df3d70ec..6d5c3bfd4936c9eeffb33d3f80a5a3d28cc007c7 100644 (file)
@@ -1,3 +1,5 @@
+# SPDX-License-Identifier: GPL-2.0-or-later
+
 #
 # Config for using Raspberry Pi's expansion header
 #
 
 adapter driver bcm2835gpio
 
-bcm2835gpio_peripheral_base 0x20000000
+bcm2835gpio peripheral_base 0x20000000
 
 # Transition delay calculation: SPEED_COEFF/khz - SPEED_OFFSET
 # These depend on system clock, calibrated for stock 700MHz
-# bcm2835gpio_speed SPEED_COEFF SPEED_OFFSET
-bcm2835gpio_speed_coeffs 113714 28
+# bcm2835gpio speed SPEED_COEFF SPEED_OFFSET
+bcm2835gpio speed_coeffs 113714 28
 
 # Each of the JTAG lines need a gpio number set: tck tms tdi tdo
 # Header pin numbers: 23 22 19 21
-bcm2835gpio_jtag_nums 11 25 10 9
+bcm2835gpio jtag_nums 11 25 10 9
 
 # Each of the SWD lines need a gpio number set: swclk swdio
 # Header pin numbers: 23 22
-bcm2835gpio_swd_nums 11 25
+bcm2835gpio swd_nums 11 25
 
 # If you define trst or srst, use appropriate reset_config
 # Header pin numbers: TRST - 26, SRST - 18
 
-# bcm2835gpio_trst_num 7
+# bcm2835gpio trst_num 7
 # reset_config trst_only
 
-# bcm2835gpio_srst_num 24
+# bcm2835gpio srst_num 24
 # reset_config srst_only srst_push_pull
 
 # or if you have both connected,