QNX, NuttX, FreeRTOS, Arduino, IDF, vxWorks, sel4, Zephyr, INTEGRITY, μ-velOSity , microEJ, and probably much others I don't have on my radar.