Hi,
MK10DX128VFM5 belongs the same family with K20_50MHz, which Freescale provides TWR-K20D50M board as evaluation board.
So far, we have Freescale MQX RTOS examples for Keil software, customer could download from below link:
http://www.freescale.com/webapp/sps/site/overview.jsp?code=MQXSWDW&fsrch=1&sr=1&pageNum=1
And KINETIS-SDK: Software Development Kit for Kinetis MCUs provides related drivers for Keil based on K21_50MHz(TWR-K21D50M), customer could download from below link:
http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=KINETIS-SDK&tid=redKINETIS_SDK
With it helps.
Have a great day,
Ma Hui
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------