It’s not their Cloud, you buy a bunch of PowerEdge R7725 for example and then choose between OpenShift, VCF and one other I can’t remember at the moment.

It’s on prem