FreeRTOS
6.0#6 in iot operating systemsFree planFree planLinuxWindows
VisitFreeRTOS suits developers building real-time software for microcontrollers and small microprocessors. It may be useful to teams evaluating embedded projects across supported processors and toolchains.
You want what its maker publishes above — check its page for the details.