Old rivals Red Hat and Oracle have teamed up for RHEL-based virtual machines running in Oracle’s OCI service.