This is old and tried docs from my RPi debugging setup with JTAG, the next chapter with probe.rs is to be written.
Berkus Decker