Read-only mirror of Rusted Firmware-A

An example of combining various libraries for aarch64 OS development in Rust.

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.

Let's write an OS which can run on RISC-V in Rust from scratch!

A security-focused library OS supporting kernel- and user-mode execution

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

A community preview of ongoing formal verification efforts for Asterinas

Rust library for applying Gaussian quadrature to integrate a function

Low-latency Rust thread pool with parallel iterators

Rust libraries and tools to interact with the Framework Computer systems