Stars
A mininal runtime / startup for Supervisor Binary Interface (SBI) on RISC-V.
A new markup-based typesetting system that is powerful and easy to learn.
Assured confidential execution (ACE) implements VM-based trusted execution environment (TEE) for embedded RISC-V systems with focus on a formally verified and auditable firmware.
A fully Go userland with Linux bootloaders! u-root can create a one-binary root file system (initramfs) containing a busybox-like set of tools written in Go.
Tool for detecting violations of ordering axioms in qsort/bsearch callbacks.
High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques
An implementation of the Two-Level Segregated Fit (TLSF) allocator with optimized memory footprint
Build android apps without any java, entirely in C and Make
Proxy collector using memory barrier free hazard pointers for fast lock-free read access to shared data
oreboot is a fork of coreboot, with C removed, written 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.
A bare minimum hypervisor on AMD and Intel processors for learners.
Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe, convenient, and performant abstractions for UEFI functiona…
A tool for checking the security hardening options of the Linux kernel
commandline compiler explorer - use https://godbolt.org from your terminal!
Backtrace support for Rust `no_std` and embedded programs.
Personal CTF solves. Almost all played with The Flat Network Society team.
Access bugs on a remote Bugzilla instance from Rust
Macro to generate bitfields for structs that allow for modular use of enums.
A little bit about a linux kernel
Execute Rust code carefully, with extra checking along the way
A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS