CPU RTOS

Was looking into Zephyr but it seems pretty painful actually, but maybe I just haven't figured it out. There is also FreeRTOS.