This provides a port of FreeRTOS to Raspberry Pi forked from http://github.com/jameswalmsley/RaspberryPi-FreeRTOS.
See the wiki for help: https://github.com/smolt/RaspberryPi-FreeRTOS/wiki