mars-research / redleafLinks
RedLeaf Operating System
☆138Updated 3 years ago
Alternatives and similar repositories for redleaf
Users that are interested in redleaf are comparing it to the libraries listed below
Sorting:
- ☆125Updated 7 months ago
- Experimental kernel with built-in replication.☆163Updated 6 months ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆65Updated 9 months ago
- A Rust library for safely programming persistent memory☆74Updated last year
- A formally verified security module for AMD confidential VMs☆63Updated last month
- RISC-V hypervisor written in Rust☆366Updated 6 years ago
- VirtIO guest drivers in Rust.☆282Updated last week
- Rcore Virtual Machine☆115Updated last year
- ☆72Updated 2 years ago
- A verified library of synchronization primitives and concurrent data structures☆40Updated last month
- A community preview of ongoing formal verification efforts for Asterinas☆42Updated this week
- ☆22Updated this week
- An operation-log based approach for data replication.☆65Updated 2 years ago
- 项目的主仓库☆25Updated 3 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆20Updated last year
- Rust Unikernel OS☆90Updated last week
- A buddy system allocator in pure Rust.☆129Updated 3 weeks ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 3 years ago
- ☆78Updated 2 years ago
- A benchmark for testing the performance of core Linux functionalities, developed by Xiang Ren, Kirk Rodrigues, Luyuan Chen and Camilo Veg…☆64Updated last year
- Risc-V hypervisor for TEE development☆126Updated 2 weeks ago
- OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering☆50Updated last year
- The artifact of the SOSP '25 paper "CortenMM: Efficient Memory Management with Strong Correctness Guarantees".☆39Updated 2 months ago
- Coffer is a RISC-V trusted execution environment developed in Rust.☆21Updated 3 years ago
- Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"☆126Updated 5 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated 2 years ago
- Virtual machine's guest memory crate☆349Updated 2 weeks ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆37Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- 🦀️ Operating System in 100% Pure Rust☆102Updated 4 years ago