Since November 2017, Linux-based operating systems have been powering all 500 of the world's fastest supercomputers.