Ho letto la discussione che ha portato a leos2. Tanto di cappello per questo nuovo lavoro sul "wdt-based scheduler" 
Ho letto anche l'articolo sul tuo sito: interessante e ben scritto IMHO.
Appena ho un minuto voglio provare con calma il leos2.
Nel frattempo ti segnalo un typo:
core Tiny per i microcontrollorti Attiny