Here's a Rust demo implementation of the seL4 root task (the first process that gets started on boot) using their Rust SDK and it doesn't look like it's using unsafe anywhere: https://github.com/seL4/rust-root-task-demo/blob/main/crates...
(I don't speak Rust so I might have missed it).
Go might be another interesting choice.
(let's not turn this thread into Rust vs Go vs whatever agaaaaaain ... we've got enough of those please).
Here's a Rust demo implementation of the seL4 root task (the first process that gets started on boot) using their Rust SDK and it doesn't look like it's using unsafe anywhere: https://github.com/seL4/rust-root-task-demo/blob/main/crates...
(I don't speak Rust so I might have missed it).
Go might be another interesting choice.
(let's not turn this thread into Rust vs Go vs whatever agaaaaaain ... we've got enough of those please).