Context: Hubris is an OS written in Rust for embedded systems https://hubris.oxide.computer/