Can anyone tell me what pin # 9 (PTB1) does on the debugger chip?
It connects to the MK20DX256VLH7 pin # 24 (PTA2).
Also, PTA6 on the debugger goes to the Micro-AB USB connector pin 4, which I think is USB OTG or some such thing, but not sure what role it plays here.