Red Hat is a Linux distribution