Bertos free RTOS: http://dev.bertos.org - View it on GitHub