Red Hat looks under Linux's hood