Files
openocd/tcl/board/rpi4b.cfg
Jonathan Bell e23a6bbc63 tcl: fix broken Raspberry Pi website links
raspberrypi.com is the home for technical information, raspberrypi.org
is the Foundation's site (though there are intelligent redirects).

Several pages have moved around, fix these.

Also tweak a few comments for style and correctness.

Signed-off-by: Jonathan Bell <jonathan@raspberrypi.com>
Change-Id: I7f52bcc362fb213b50987e3a42866fe4a6fec883
Reviewed-on: https://review.openocd.org/c/openocd/+/8885
Tested-by: jenkins
Reviewed-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-by: Tomas Vanek <vanekt@fbl.cz>
2025-06-07 10:06:31 +00:00

14 lines
482 B
INI

# SPDX-License-Identifier: GPL-2.0-or-later
# This is the Raspberry Pi 4 model B board with BCM2711 chip
# https://www.raspberrypi.com/documentation/computers/processors.html#bcm2711
#
# Enable JTAG GPIO on Raspberry Pi boards
# https://www.raspberrypi.com/documentation/computers/legacy_config_txt.html#enable_jtag_gpio
source [find target/bcm2711.cfg]
transport select jtag
# Raspberry Pi boards only expose Test Reset (TRST) pin, no System Reset (SRST)
reset_config trst_only