Auf den Spitzenreitern der top 500 ( www.top500.org ) laufen keineswegs (Standard-)Unixe, sondern special OS.
Das ist schon aus den Anzahl der Processoren ersichtlich ( 1000 bis 10000 ).

Bei z. B. SGI sind es ja zumeist Crays, die laufen nun mal nicht unter IRIX ;)

Mosh