Will be more convenient once I can get a rockpro64 or smth, so I can JTAG it.
It looks nontrivial to get a JTAG up and running; given recent progress on the PL side of things, OS work is on the backburner at the moment anyway.