Latest stable (9.0.0) FreeRTOS port on Raspberry Pi
Tested on Raspbery Pi 2B with uart bootloader by David Welch - https://github.com/dwelch67/raspberrypi
This port is based on https://github.com/Forty-Tw0/RaspberryPi-FreeRTOS and https://github.com/tonyhccdev/RaspberryPi-FreeRTOS