FreeRTOS

FreeRTOS(TM) is a market leading RTOS from Amazon Web Services