I can see some old posts about getting JTAG working on the F3 board, but … is there an off-the-shelf adapter for the SD/MMC card to a JTAG format? One that can be bought.
But it LOOKS like the pinout is a bit different from the few adapters (e.g. ESP32) that are out there.
If there’s already sch/brd/gerbers that I can just get made, that would also be a great solution.