Hello rogerpease
There is no specific driver for the MK10DX64VLH7. One close approach to this one is the MK10D10. You need to be careful with the MCG and clocks configuration, although they are similar the clocks are different.
It is important to add that these drivers are for reference since the MK10DX64xxx7 doesn't have specific SDK.
The MKV10DX64VLH7 belongs to a different family of kinetis and is not recommendable reference for MK10.
Let me know if this is helpful, if you have more questions do not hesitate to ask me.
Best regards,
Omar