Hi all!
We've been working on a way to write Rust programs for seL4, and would like
to share it with you:
https://github.com/PolySync/cargo-fel4.git
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.
Cheers!
Jon, Dan, Zack, and Nathan at PolySync