Anscheinend überlässt Arduino die Linux Boards ganz Partnern wie Intel und Samsung. Den Tre hat man jetzt von der Arduino Produktseite entfernt ...