Port of FreeRTOS 6.0.2 as released in 2010 on http://www.xcore.com/projects/freertos-port