leOS - un semplice OS per schedulare piccoli task

No, non l'avevo vista. Non sono iscritto alle mailing-list.
Se hai modo di rispondere, fagli presente che esiste già uno schedulatore XD