OT: Arduino o FreeRTOS?

Non so se hai visto leOS (qui e qui), il mio scheduler per la UNO e la Leonardo (ed altri micro Atmel). E' stato segnalato anche sul blog di Arduino (vedi qui) ed ha riscosso un discreto successo in giro per il mondo per la sua semplicità. Che ne pensi, potrebbe essere adottato ed inserito nel core? Se sì, che trafila va fatta per segnalare queste new entry?