ARTK is a real-time priority-driven multitasking kernel for the Arduino released under GPL.