Which is why I enjoy at least on embedded we are having plenty of choice between FreeRTOS, NuttX, and plenty others.