Original: Linux distributions are also commonly used as operating systems for supercomputers : as of June 2009 , out of the top 500 systems , 443 ( 88.6 % ) run a Linux distribution .
Simplified: Linux is commonly used as an operating system for supercomputers . As of November 2007 , out of the top 500 systems , 426 ( 85.2 % ) run Linux .