A port of FreeRTOS to the raspberry pi. - View it on GitHub