Robigalia

Build a robust Rust ecosystem around seL4 Create a highly reliable persistent capability OS, continuing the heritage of EROS and Coyotos To get started with Rust and seL4, first set up a build environment. From there, the sky’s the limit! We’re currently working on a tutorial and some examples while the OS is being created. In the meantime, maybe you’d like to contribute?

[tanakh]

seL4 の堅牢なエコシステムをRustで書いてseL4にPOSIX互換のセキュアなユーザーランドを構築する試み？