Cloud virtualization: Red Hat, AWS Firecracker, and Ubicloud internals...