From everything that I have read about FreeRTOS, it has support for
There are a few POSIX wrappers for FreeRTOS, for example, TI’s SDK uses
POSIX wrappers to switch between TI-RTOS and FreeRTOS, but it is not
something we provide or support ourselves (but is something of interest).
and zero support for SMP
Again there are some third party SMP ports, such as the ESP32 port
provided by Espressif, but it is not something we develop or provide
ourselves. There is a paper on creating an SMP version in the FreeRTOS
Interactive site too – but that is very old.
Aarch64 is supported, but only a flat 32-bit memory model with no MPU.