mars-research / redleaf
RedLeaf Operating System
☆118Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for redleaf
- ☆107Updated 2 months ago
- Experimental kernel with built-in replication.☆154Updated 7 months ago
- A Rust library for safely programming persistent memory☆74Updated 5 months ago
- An operation-log based approach for data replication.☆62Updated last year
- RISC-V hypervisor written in Rust☆346Updated 4 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆48Updated last month
- VirtIO guest drivers in Rust.☆213Updated this week
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- ☆132Updated this week
- ☆69Updated last year
- A formally verified security module for AMD confidential VMs☆33Updated last week
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 4 months ago
- A VMM implementation based of rust-vmm components☆147Updated 2 months ago
- Risc-V hypervisor for TEE development☆97Updated last year
- ☆60Updated 4 months ago
- ☆39Updated 3 weeks ago
- A verified library of synchronization primitives and concurrent data structures☆20Updated 2 months ago
- Rust RISC-V Virtual Machine☆88Updated this week
- Virtual machine's guest memory crate☆310Updated this week
- Rcore Virtual Machine☆110Updated 8 months ago
- ☆72Updated 10 months ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- 项目的主仓库☆22Updated 2 years ago
- Confidential Containers Shim Firmware☆96Updated 2 weeks ago
- ☆21Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆125Updated 9 months ago
- Handle TrapFrame across kernel and user space on multiple ISAs.☆30Updated 3 months ago
- Rust support for seL4 userspace☆119Updated last week
- Rust Unikernel OS☆59Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago