[noway421]

Don't they use Xen?

[oblio]

For Elastic Compute Cloud (EC2) aka hosted VMs, yes.

For ECS (EC2 Container Service), they use Docker on top of their VMs.

So they have a Docker offering but not a Kubernetes one, at the moment.