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.