21.8.2022
It would be advantageous if the full version of FreeRTOS would be available on the RPi. Great for hobbyists and for teachers alike. There is some sort of port but it is not satisfactory at all.
Is there any chance of such a version becoming available?
As you rightly said, currently there is no official port for Raspberry Pi 4 and there is no plan to add it either as of now. Thank you for your inputs though as these help us in prioritizing our work. We will update you know when we plan to add support for it.
PS - We do have port for Raspberry Pi Pico though if you are interested in it.