El informe semestral de Top500 revela que casi nueve de cada diez de estas máquinas utilizan ya como su único sistema operativo el de código abierto