Linux rulz: Top500 says so