You can try ucos. It's fully documented and free to get souce code that it has been transplant on nxp's soc.