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)