tcl/target: stm32[fl]4x: document the settings for trace
[fw/openocd] / tcl / interface / raspberrypi2-native.cfg
index e53b0f3b02ecb40bf25144eafb68faccf56b23bf..547df0872f311af6c5e0374702cdff88c0756b72 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 0x3F000000
+bcm2835gpio peripheral_base 0x3F000000
 
 # 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 146203 36
+# bcm2835gpio speed SPEED_COEFF SPEED_OFFSET
+bcm2835gpio speed_coeffs 146203 36
 
 # 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,