Red Hat es el segundo mayor contribuyente al kernel de Linux versión 4.14, tras Intel.