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.

QEMU platform SBI support implementation, using RustSBI

A book about how to write OS kernels in Rust easily.

🛠️ ❤️ Want to know NixOS & Flakes in detail? Looking for a beginner-friendly tutorial? Then you've come to the right place! 想要学习使用 NixOS 与 Flakes 吗？在寻找一份新手友好的教程？那你可来对地方了！

Chisel: A Modern Hardware Design Language

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

Build postprocessor to reset metadata fields for build reproducibility