A PEMicro debugger could be helpful but you could also use the onboard debugger, which is a K20 chip with OpenSDA debugger and bootloader installed already. I will add that the debugger app and bootloader pre-loaded to it are up-to-date as of now. So you just need a micro USB cable and the PEmicro drivers that get installed automatically with S32 2017.R1. I recommend doing an update after installation.