IMHO Redhat cloud was just as proprietary as oracle’s. Sure, Redhat was one of (if not the) the greatest contributor to open source, but since acquired by IBM it seems the momentum is going down (I don’t have any data on this, only a few articles like this I’ve reaad)