Redhat is a type of Linux