Hi all!

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.

Cheers!

Jon, Dan, Zack, and Nathan at PolySync