It's an interesting and well-thought out stack.
CloudBolt Software is excited that we're a part of this solution. We're being used as the Cloud Manager, which provides the required automation, workflows, provisioning, self service, and metered accounting. All Dell Cloud for US Government customers will use the CloudBolt C2 interface to access the Dell Cloud for US Government. We've got more info about our part here: http://info.cloudboltsoftware.com/blog/bid/300713/CloudBolt-C2-is-the-Cloud-Manager-for-the-Dell-Cloud-for-Government