AmbiML / sparrow-manifestLinks
Project Sparrow: Repo Materials
☆20Updated 2 years ago
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,808Updated last week
- ☆8Updated 2 years ago
- Theseus is a modern OS written from scratch in Rust that explores 𝐢𝐧𝐭𝐫𝐚𝐥𝐢𝐧𝐠𝐮𝐚𝐥 𝐝𝐞𝐬𝐢𝐠𝐧: closing the semantic gap between…☆3,040Updated 10 months ago
- A new operating system kernel with Linux binary compatibility written in Rust.☆3,410Updated 9 months ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,236Updated this week
- Source code of Ferrocene, safety-critical Rust toolchain☆1,444Updated this week
- Adding support for the Rust language to the Linux kernel.☆4,215Updated this week
- A secure embedded operating system for microcontrollers☆5,942Updated this week
- A Rust-based, lightweight unikernel.☆1,319Updated this week
- The Chrome OS Virtual Machine Monitor - Mirror of https://chromium.googlesource.com/crosvm/crosvm/☆1,013Updated this week
- ☆10Updated last year
- Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such…☆1,231Updated 4 months ago
- Low level access to RISC-V processors☆985Updated this week
- An experimental pure-Rust x86 bootloader☆1,533Updated last week
- Documentation on how to use the Rust Programming Language to develop firmware for bare metal (microcontroller) devices☆1,215Updated last month
- A comparison of operating systems written in Rust☆791Updated last week
- GCC Front-End for Rust☆2,683Updated this week
- Asterinas is a secure, fast, and general-purpose OS kernel, written in Rust and providing Linux-compatible ABI.☆3,464Updated this week
- A container runtime written in Rust☆6,865Updated this week
- Migrate C code to Rust☆4,428Updated this week
- Framework for writing Linux kernel modules in safe Rust☆1,336Updated 4 years ago
- Tool to create bootable disk images from a Rust OS kernel.☆831Updated 4 months ago
- The Xous microkernel☆572Updated this week
- An implementation of the IETF QUIC protocol☆1,262Updated this week
- A simple, fast, and secure operating system for the cloud.☆941Updated last week
- The Adventures of OS☆559Updated 2 years ago
- Rust async runtime based on io-uring.☆4,614Updated this week
- Rust Memory Safety & Undefined Behavior Detection☆1,346Updated last year
- Unix-like OS in Rust inspired by xv6-riscv☆1,595Updated 2 weeks ago
- oreboot is a fork of coreboot, with C removed, written in Rust.☆1,707Updated 2 months ago