FreeRTOS

The most widely deployed real-time kernel on microcontrollers: since 2003 it has been inside appliances, sensors and industrial equipment all over the world. It is a handful of C files you drop into your project. Amazon has maintained it since 2017.