What am I using for debuggers? I tend to use any of:

* the built-in jlink on the DKs
* I have a J-Link Compact
* Or an RP2040 running the picoprobe firmware