Adam Mitchell

Hey @flit. They are indeed broken out on the GPIO header - [see here](https://pinout.xyz/pinout/jtag). The header breaks out full JTAG and SWD. When using OpenOCD the driver of choice is...

@flit If you're happy to put together a skeleton for an RPi debug probe driver I'm sure I can cobble something together, using the other probes as an example. I've...

@flit Lovely stuff, speak soon!