We've been working on a way to write Rust programs for seL4, and would like
to share it with you:
With cargo-fel4, you can write a seL4 task in Rust, expose it through a
prescribed entry point, and then build it along with the kernel.
For now, it exposes only the system calls by way of Bindgen (a C-to-Rust
bindings generator); however, we have plans to build up more idiomatic and
Rusty abstractions in the near future.
Jon, Dan, Zack, and Nathan at PolySync