"TOP500 Supercomputer Sites: Operating system Family / Linux".
2010년 11월 12일에 확인함.  “TOP500 Supercomputer Sites: Operating system Family / Linux”.