Patina: a Rust implementation of UEFI firmware