La distro di linux è una proprietaria denominata UDOObuntu, presumo mutuata da Ubuntu. Questa sostituisce la precedente Linaro Ubuntu. Non so quanto debba essere più performante, ma immagino che dopo un anno e mezzo di presenza sul mercato una qualche ottimizzazione debbano averla ben fatta!

Adesso vado in palestra a molleggiare un pò, quando torno installo il benchmak e pubblico i risultati.

Mazza che accoglienza! 
Grazie grazie! 

Adesso vado in sezione Microcontrollori per vedere dove posso iniziare a fare un pò di soffoco...