Hi Santosh,
Unfortunately there is no KSDK support for MK10DX256VLH7.
Anyway, you can start your program with PEx and KDS.

Or you can start with www.nxp.com/mqx also see the support for TWR-K20D72M
For MQX 4.2 is under
C:\Freescale\Freescale_MQX_4_2\mqx\examples
I hope this helps.
Best Regards,
Iva