If have recently delivered a project that was deployed in AWS Cloud for Government. It is possible, but it does require knowledge of AWS infrastructure services (in my case provided by the customer) and knowledge of Mendix.

The issues we ran into were firewall issues, inability to access log files (solved by logging to the database) and a custom S3 bucket module with too few configuration options. These issues were, eventually, fairly easy to solve.

The issues had a far longer throughput time than usual though, as access to AWS Cloud for Government was very restricted, and we could not access it all. We depended on the customer to supply us with information, while the customer was in two different time zones and this led to many delays.