Red Hat is proud of Linux's success