AWS lambda is built on Firecracker MicroVMs, written completely in Rust. Fly.io uses it as well.