Allora.... sono qualche ora di inc....ture, sono riuscito a sistemare il supporto per l'Arduino Leonardo/Atmega32U4.
In allegato la versione 0.1.0 che compila e gira perfettamente con questa scheda e sul suo micro.
E ora... buonanotte! 
leOS-0.1.0.zip (24.2 KB)