В TOP500 по хорошему бы вообще транспьютерную ОС какую на нодах, накой там сложности уровня Линуха? Но это общая беда современного IT — Линукс good enough, и этим задавил спец-решения
Топ500 - суперкомпы. Они же могут быть мейнфреймами, типа Крея; или распараллеленными кучей мелких компов-нод, как линуксы