Not sure, I haven't used that platform personally, there is probably a debugging interface to the chip but it will probably require different hardware/software.