We’re currently in the early phases of development, with a design not yet settled on. We are currently focusing on the lower-level aspects of seL4 development and trying to create higher-level abstractions that are easier to use and build systems on.
Here’s our concrete goals at the moment:
These are a start, but not the end.
Right now, only the absolute minimum for using Rust on seL4 is supported: building static binaries that can run as the initial thread at boot. See hello-world for an example of this.