A simple RTOS targeting Arduino boards