Isn't Cloud Formation more like Terraform? k8s pretty much abstracts the whole cloud platform and makes it deployable anywhere (theoretically). Although practically there's usually lock-in to some managed services.