TinyOS: ultra-lightweight RTOS for IoT devices

An ultra-lightweight real-time operating system for resource-constrained IoT and embedded devices. Kernel footprint under 10 KB, 2 KB minimum RAM, preemptive priority-based scheduling.

TinyOS GitHub page

Written in C, open source, and supports ARM and RISC-V.