Making Rust a first-class citizen for Xen