Random lazy question: do you know about running GuixSD on AWS EC2? We're very happy with NixOS's AMI images, since they let us provision AWS instances extremely easily.