tcl/target/gd32vf103: add flash bank
[fw/openocd] / tcl / board / rpi3.cfg
1 # SPDX-License-Identifier: GPL-2.0-or-later
2
3 # This is the Raspberry Pi 3 board with BCM2837 chip
4 # https://www.raspberrypi.org/documentation/hardware/raspberrypi/bcm2837/README.md
5 #
6 # Enable JTAG GPIO on Raspberry Pi boards
7 # https://www.raspberrypi.org/documentation/configuration/config-txt/gpio.md
8
9 source [find target/bcm2837.cfg]
10 transport select jtag
11
12 # Raspberry Pi boards only expose Test Reset (TRST) pin, no System Reset (SRST)
13 reset_config trst_only