Cloud.gov is a PaaS based on Cloud Foundry. The idea is that it can run on pretty much any IaaS provider (as long as the Cloud Foundry plugins are written), certainly not limited to AWS.