A community preview of ongoing formal verification efforts for Asterinas
Archive
Matched by dependency overlap in Cargo manifests — each card notes the most distinctive crates both projects share.
A community preview of ongoing formal verification efforts for Asterinas
DragonOS is an operating system developed from scratch using Rust, with Linux compatibility. It is designed for **Serverless** scenarios.
The R9 operating system
Let's write an OS which can run on RISC-V in Rust from scratch!
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
a smol tcp/ip stack
RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For binary download see prototyper folder.
A Rust-based bare-metal kernel implementing zero-trust execution, cryptographic self-measurement and capability enforced isolation forming the core of the NØNOS operating system.