I want to make a new KDS3.1 project for the MK10DX128VLH7 and use PEx and KSDK. I can not find the 64 pin, 72 Mhz version listed in the "K" series of Kinetis processors.
Thank your for your question.
You will see MK10DX128VLH7 in KDS listed after Eclipse Update. Please see KDS User´s Guide chapter Installing KSDK into KDS, page 62.
But unfortunately current version of KSDK (and none of previous) does not support MK10DX128VLH7.
You have several options.
I hope this helps you.