#!/bin/sh

# Connect JTAG pins of The!Cart to RPi GPIO like this:
#
# JTAG Pin  RPi GPIO Pin
# 2 (TDO)   21 (GPIO 9)
# 3 (TDI)   19 (GPIO 10)
# 6 (TMS)   24 (GPIO 8)
# 7 (GND)   25 (GND)
# 8 (TCK)   23 (GPIO 11)

openocd -f interface/raspberrypi5-gpiod.cfg -f openocd.cfg
