3 ms·According to this, it's Linux: http://www.top500.org/system/10042 http://www.top500.org/system/10042by timdorr 17y agoAccording to this, it's Linux: http://www.top500.org/system/10042 http://www.top500.org/system/10042