I wonder if there is an alternative dev board using the same CPU as Teensy3.1 that has JTAG/SWD. Or we'll just sacrifice a board to add serial wire debug, usually just 2-3 signals, power and GND.
...