AmbiML / sparrow-manifestLinks
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
Sorting:
- Hermit for Rust.☆1,787Updated this week
- ☆7Updated 2 years ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,019Updated 8 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,176Updated this week
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆969Updated this week
- A secure embedded operating system for microcontrollers☆5,829Updated this week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,422Updated this week
- A simple, fast, and secure operating system for the cloud.☆924Updated this week
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,687Updated 2 weeks ago
- ☆10Updated last year
- Unix-like OS in Rust inspired by xv6-riscv☆1,579Updated 2 weeks ago
- Low level access to RISC-V processors☆962Updated this week
- A Rust-based, lightweight unikernel.☆1,302Updated this week
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,223Updated 2 months ago
- An implementation of the IETF QUIC protocol☆1,243Updated this week
- Rust async runtime based on io-uring.☆4,531Updated last month
- Kubernetes Rust Kubelet☆3,587Updated last year
- A container runtime written in Rust☆6,714Updated this week
- RISC-V Supervisor Binary Interface (RISC-V SBI) library in Rust; runs on M or HS mode; good support for embedded Rust ecosystem. For bina…☆1,163Updated this week
- Debugger for Hubris☆545Updated 2 weeks ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,403Updated 6 months ago
- Zerocopy makes zero-cost memory manipulation effortless. We write `unsafe` so you don’t have to.☆1,949Updated this week
- GCC Front-End for Rust☆2,649Updated this week
- Verified Rust for low-level systems code☆1,886Updated this week
- RISC-V processor emulator written in Rust+WASM☆662Updated 2 years ago
- Adding support for the Rust language to the Linux kernel.☆4,176Updated this week
- ☆828Updated this week
- A memory safe implementation of sudo and su.☆3,611Updated this week
- Sandboxed kernel mode WebAssembly runtime.☆743Updated 5 years ago
- Safe Rust bindings to POSIX-ish APIs☆1,696Updated 2 weeks ago