Secure and fast microVMs for serverless computing. - firecracker/design.md at main · firecracker-microvm/firecracker