Azure Sphere OS
4.7#10 in iot operating systemsWeb
VisitYou want what its maker publishes above — check its page for the details.
Contiki-NG may suit developers building low-power IoT devices who need an operating system with standard networking protocols. Its documented hardware and development options may be useful when selecting a target platform.