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.
safe type-1 Rust Hypervisor for edge devices
Asterinas aims to be a production-grade Linux alternative—memory safe, high-performance, and more.
A mini book on writing NES emulator using rust lang
A canvas on which you can draw anything with ease before drawing the pixels on your small hardware display.
Simple yet highly configurable low-level driver for 16550 UART devices, typically known and used as serial ports or COM ports.
An example of combining various libraries for aarch64 OS development in Rust.
[WIP] A kernel in Rust designed to provide a universal, multi-ABI container runtime.
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.