mars-research / redleaf
RedLeaf Operating System
☆119Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for redleaf
- ☆108Updated this week
- Experimental kernel with built-in replication.☆155Updated 8 months ago
- VirtIO guest drivers in Rust.☆216Updated this week
- An operation-log based approach for data replication.☆62Updated last year
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆49Updated last month
- Rcore Virtual Machine☆110Updated 8 months ago
- Risc-V hypervisor for TEE development☆99Updated last year
- RISC-V hypervisor written in Rust☆350Updated 4 years ago
- Loupe: Syscall Usage Analysis Tool☆25Updated 2 months ago
- A Rust library for safely programming persistent memory