Have you heard about FreeRTOS?