You can try ucos. It's fully documented and free to get souce code that it has been transplant on nxp's soc.
View all questions in Classic processors forum