Nella mia scarsa esperienza gli ordini dallo store Texas non hanno mai problemi di dogana, pensano a tutto loro.
Lesto,
L'IDE Energia è come l'IDE Arduino, dovrebbe girare senza problemi sotto Linux. Non so per i driver USB però. 43oh è il forum di riferimento.
Piuttosto chissà se energia continuerà in maniera indipendente o diventerà una board dell'IDE Arduino.