PaoloP:
Complimenti per il lavoro.
Ma se non ricordo male era stato creato un piccolo kernel anche da un'altro utente, credo per una tesi.
Ce ne sono tanti. A parte quello da te citato, e che non ritrovo perché non mi ricordo neanche l'utente che lo pubblicò, c'è ad esempio FemtoOS, un RTOS moooooolto più sofisticato del mio. Il mio più che un RTOS è uno schedulatore, se vogliamo proprio dirla tutta perché non ha nessuno strumento degli RTOS per la gestione dei task. A cominciare dal fatto che non è un SO di tipo preemptive per cui se un task si blocca, si blocca tutta la baracca XD
Ma siamo alla versione 0.0.1, io dico che qualcosa si può ancora fare 
EDIT: Leo, che differenze ci sono tra la tua libreria e questa? -->Arduino Playground - TimedAction Library
Mi pare implementi i protothread e sceduli tutto con la millis().