I'm trying to understand how to program a custom board with a MK20DX256VLH7 chip (same as Teensy 3.2). There is no boot loader chip on the board, so I was intending to program it via SWD pins using...