AmbiML / sparrow-manifest
Project Sparrow: Repo Materials
☆20Updated last year
Alternatives and similar repositories for sparrow-manifest:
Users that are interested in sparrow-manifest are comparing it to the libraries listed below
- ☆6Updated 2 years ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,134Updated this week
- Hermit for Rust.☆1,754Updated this week
- A memory safe implementation of sudo and su.☆3,080Updated this week
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆2,983Updated 6 months ago
- ☆10Updated last year
- Source code of Ferrocene, safety-critical Rust toolchain☆1,385Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,127Updated this week
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆884Updated this week
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,390Updated 4 months ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,650Updated 3 weeks ago
- A secure embedded operating system for microcontrollers☆5,707Updated last week
- Rust async runtime based on io-uring.☆4,319Updated 2 weeks ago
- Debugger for Hubris☆538Updated 3 weeks ago
- Code examples, data structures, and links from my book, Rust Atomics and Locks.☆1,411Updated 7 months ago
- ☆799Updated this week
- a debugger for async rust!☆3,847Updated 2 months ago
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆1,835Updated this week
- Aya is an eBPF library for the Rust programming language, built with a focus on developer experience and operability.☆3,492Updated this week
- 🚀 The blazing fast build tool for Rust.☆2,416Updated last year
- A Rust-based, lightweight unikernel.☆1,257Updated this week
- An experimental pure-Rust x86 bootloader☆1,465Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,339Updated 4 years ago
- Low level access to RISC-V processors☆921Updated last week
- A simple, fast, and secure operating system for the cloud.☆921Updated this week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,157Updated last month
- An RPC framework for Rust with a focus on ease of use.☆3,415Updated this week
- Unix-like OS in Rust inspired by xv6-riscv☆1,534Updated 8 months ago
- Rusty wrapper for the Unified Extensible Firmware Interface (UEFI). This crate makes it easy to develop Rust software that leverages safe…☆1,388Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,206Updated 6 months ago