Hasta 457 millones de los 524 millones de dólares obtenidos por Red Hat durante su último trimestre se corresponden a…