I got a board with a MK60DN256VLL10 Cortex-M4 chip aka K60P100M100SF2V2 (from the datasheet) and we have an USBDM-JS16-SWD lying around, a USB programmer labeled "freescale USBDM" from a previous project, which gives the following dmesg output when plugging into the PC:
[Mo Dez 3 14:56:03 2018] usb 2-8: new full-speed USB device number 9 using xhci_hcd
[Mo Dez 3 14:56:03 2018] usb 2-8: New USB device found, idVendor=16d0, idProduct=0567
[Mo Dez 3 14:56:03 2018] usb 2-8: New USB device strings: Mfr=1, Product=2, SerialNumber=3
[Mo Dez 3 14:56:03 2018] usb 2-8: Product: USBDM HCS08,HCS12,CFV1,ARM-SWD BDM
[Mo Dez 3 14:56:03 2018] usb 2-8: Manufacturer: pgo
[Mo Dez 3 14:56:03 2018] usb 2-8: SerialNumber: USBDM-JS16-SWD_SER-0001
Is it possible to use that programmer for flashing or even debugging the aforementioned MCU (with Linux)?
The Flash Programmer tool only lists MK60DN256M10. Is that a compatible device?
With kind regards.