RED HAT 7.0, DE RED HAT