I couldn’t get the OpenSDA working for anything other than serial. I see that it sees the board as a file system but when I drag a .bin across it reboots with fail.txt > “Unable to reset/halt target MCU”. OpenOCD from:
Doesn’t seem to have interfaces from cmsis-dap. I briefly tried out pyOCD which recongnized a kinetis board (I think Micro:bit) but err’d out.
Any JTAG will work mind you, I just use an Altera usb blaster with a SWD connector.