Hi,
Freescale provides Software Development Kit for Kinetis MCUs, which supports micriμm μc/os-iii and μc/os-ii RTOS so far.
The Kinetis MK51 product will be supported at Kinetis SDK software very soon.
More detailed info about Kinetis SDK software, please check below link:
http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=KINETIS_SDK
I search ThreadX RTOS supports Freescale Kinetis MK51 product also, more detailed info, please check below link:
http://rtos.com/products/threadx/freescale_kinetis
Freescale also provides MQX RTOS, which support Kinetis MK51 also.
Please check below link to get more detailed info:
http://www.freescale.com/webapp/sps/site/homepage.jsp?code=MQX_HOME
Wish it helps.
best regards
Ma Hui
-----------------------------------------------------------------------------------------------------------------------
Note: If this post answers your question, please click the Correct Answer button. Thank you!
-----------------------------------------------------------------------------------------------------------------------