Yeah I'm sure that the vast majority if not all computers on the top500 list runs linux because of its terrible handling of multiple cores