FreeRT OS

http://www.freertos.org/