It’s also good to note that it’s really the only RTOS with a _real_ open source community and that has support from multiple hardware vendors. FreeRTOS is mostly whatever Amazon decides to publish. Mbed is kinda open but mostly driven by ARM. Zephyr has a community governance based on Linux’s.