On behalf of the Robigalia project I am pleased to announce our first public
release of the core libraries for using Rust on seL4. Currently, this consists
of a raw interface akin to libsel4 and a higher-level "Rustic" interface.
Currently, only x86 is supported. An ARM port is in progress.
We have a website: https://robigalia.org/
And a mailing list: https://lists.robigalia.org/listinfo/robigalia-dev
The goal of the Robigalia project is to promote Rust as a robust choice for
application development on seL4 and has the long-term goal of producing
Robigo, a POSIX-compatible personality on seL4. We're in the initial stages of
development. We are primarily a group of students from Clarkson University,
though other contributors are starting to trickle in.
Currently in-progress is a port of the tutorial from the sel4-tutorials
repositories and examples of doing various things using the libraries we've
created. Beyond those, we're also working on x86 platform support, right now
virtio and PCI bus management.
(I didn't intend on posting this for another week, to finish the tutorial and
high-level library, but it was scooped on HN, so I figured I might as well)