#!/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 /usr/share/openocd/scripts/interface/raspberrypi-native.cfg -c 'transport select jtag' -c 'init' -c 'svf -quiet TheCart.svf' -c 'exit'
