lesto:
(il repo nascosto è arduino 3?)
Non credo,. la TRE, almeno stando alle attuali informazioni, è una unione tra Beagle Bone e Leonardo, il lato Arduino lo gestisci già con l'IDE 1.0.x, il lato Linux non penso proprio che lo gestisci dal IDE di Arduino, al limite tramite processing giusto per rimanere su cose già note al mondo Arduino.