Alternatives and similar repositories for redleaf:

Users that are interested in redleaf are comparing it to the libraries listed below

• olivierpierre / unikernel-papers
  ☆113Updated last month
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆54Updated 2 weeks ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated 11 months ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆73Updated 8 months ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆59Updated 9 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆234Updated 2 weeks ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆110Updated 11 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆28Updated this week
• syswonder / ruxos
  Rust Unikernel OS
  ☆69Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆109Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆355Updated 5 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆31Updated this week
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆61Updated last year
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆36Updated 4 months ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆150Updated 5 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆23Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆70Updated last year
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆54Updated last year
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆47Updated 2 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 7 months ago
• syswonder / hvisor
  a Rust Hypervisor for mission-critical system
  ☆52Updated this week
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆132Updated 2 weeks ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 5 months ago
• equation314 / nimbos
  An experimental RTOS written in Rust.
  ☆35Updated 2 years ago
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆11Updated last year
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆127Updated last year
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• uclasystem / DRust
  ☆44Updated 4 months ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆317Updated this week
• rust-vmm / vhost
  ☆135Updated this week