RTuinOS, a small Real Time Operating System (RTOS) for Arduino - View it on GitHub