Hi Pedro
Thank you for supplying the BSDL file. However, it does not seem to have a valid IDCODE for my specific device, MK10DN512VMD10 (we are using both the 144MAPBGA and 144LQFP variants).
I am using the XJTAG XJLink device to connect to the processor, which reports the following:
____________________________________________________
Starting Check Chain...
1 Devices found
ID Codes read:
0x4BA00477
Chain intact - No errors found
IR length of chain: 4
Device 1 (No BSDL File)
Read : 01001011101000000000010001110111 (0x4BA00477)
____________________________________________________
If I now supply your BSDL file (K10_144BGA_13x13.bsdl) to the software, I get the following error:

Can you explain why the device reports a different ID Code from that specified in the BSDL file?
Thanks, regards