Baremetal Pi port
Finished the Baremetal Port of 10.1.1 running on a single core of any Pi model in 32 bit or optionally 64 bit on either Pi3 models.
https://github.com/LdB-ECM/Raspberry-Pi/tree/master/FreeRTOSv10.1.1
Hopefully saves some peeps some effort
Baremetal Pi port
Excellent – thanks – if I can work out how to get the interactive site
working properly again I will post a link :o)