Lists (1)
Stars
Read-only mirror of Rusted Firmware-A
OSS-Fuzz - continuous fuzzing for open source software.
Ariel OS is a library operating system for secure, memory-safe, low-power Internet of Things, written in Rust
Rust attribute macro that adds memoization to a function (pronounced "Mickey")
Concurrency primitives, safe memory reclamation mechanisms and non-blocking (including lock-free) data structures designed to aid in the research, design and implementation of high performance concโฆ
Read-only mirror of Trusted Firmware-A
A minimal in-place WebAssembly interpreter, written in Rust, almost without use of external dependencies
An example of combining various libraries for aarch64 OS development in Rust.
A Rust library for parsing and manipulating Flattened Device Tree (FDT) blobs.
Startup code and exception vector for bare-metal Rust on aarch64 Cortex-A processors.
Safe per-CPU core mutable state on no_std Rust platforms through exception masking.
A utility for decoding aarch64 ESR register values.
Generic, unified, architecture-independent, and OS-free page table structures for various hardware architectures.
A Rust library to manipulate AArch64 VMSA EL1 page tables.
Implements embedded-hal traits by bitbanging
Apache NuttX is a mature, real-time embedded operating system (RTOS)
Theseus is a modern OS written from scratch in Rust that explores ๐ข๐ง๐ญ๐ซ๐๐ฅ๐ข๐ง๐ ๐ฎ๐๐ฅ ๐๐๐ฌ๐ข๐ ๐ง: closing the semantic gap between compiler and hardware by maximally leveraging the power of language safety anโฆ
Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you donโt have to.
A secure embedded operating system for microcontrollers
Microbit async BSP (Board Support Package) for the BBC micro:bit v2 and newer
Analyzing Travis and Azure Pipelines logs to find encountered errors
Experiments in turning structures into MMIO-safe structures
Wasm interpreter in lean, designed for reasoning