<bartmassey[m]> "For the rework of `rust-embedded..." <- where exactly did you folks get stuck, btw?
i followed some notes and got far enough for jlink commander and openocd to make a connection via a jlink-edu.
using the lovely pinout guide here:
https://pinout.xyz/pinout/jtag
use alt4 for everything but tdi, alt5 for tdi
add
```
[all]
enable_jtag_gpio=1
gpio=22-27=a4
[pi3]
gpio=4=a5
```
to the config.toml on the boot partition, then just wire it manually to your debugger.
i loaded my sdcard with pi os lite (64-bit), renamed kernel8.img and kernel 2712.img and copied infloop.bin from https://metebalci.com/blog/bare-metal-raspberry-pi-3b-jtag/ as kernel8.img