No, questa cosa funziona solo su Windows. Su Linux non va.
Ho provato il pacchetto .deb che ho menzionato qui sopra ma ho ricevuto un errore di mancanza di eseguibile appena avviata la compilazione. Questa cosa della toolchain è più ostica di quanto sembrasse. L'unico modo per compilare è stato quello di creare manualmente la toolchain con lo scritp di Bingo, poi esportare nella variabile PATH il percorso dell'albero della toolchain e lanciare l'IDE di Arduino. Ma ho ricevuto un errore su un file delay.h. File che vedo è stato inserito a mano insieme all'elenco dei pacchetti .deb. Ora non ho voglia di fare altre prove. Domani ci rimetto le mani.