Red Hat pushes new free OS