FreeRTOS Ported to Raspberry Pi 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