lesto:
github del progetto arduino e non solo trovi tutto quello che cerchi, ma anche 60 pull-request, in pratica abbastanza modifiche per fare l'IDE 1.2 (se solo iniziassero ad accettarle...)
Qui (GitHub - arduino/Arduino: Arduino IDE 1.x) non vedo il core per la DUE. Lo stanno sviluppando a parte?
Hai un link?