Hernan, una recomendación, evidentemente no es lo que preguntas, pero como sos nuevo en "esto". Por ahí usar un RTOS que no está portado, o está a medio portar, para alguien que recién empieza es difícil. Te recomiendo que pruebes (si te lo permite lo que estás haciendo) otros RTOS para aprender. Yo tengo esa placa y hace algún tiempo ya use un par, te puede llegar a servir:
http://www.freertos.org/FreeRTOS-for-Cortex-M0-LPC1114-LPCXpresso.htmlSaludos y éxitos.