Alternatives and similar repositories for redleaf

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

• olivierpierre / unikernel-papers
  ☆123Updated 3 months ago
• vmware-archive / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆160Updated last month
• rcore-os / RVM
  Rcore Virtual Machine
  ☆117Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆362Updated 5 years ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆269Updated last month
• matthias-brun / verified-nrkernel
  ☆20Updated 2 weeks ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆62Updated 4 months ago
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆39Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆66Updated last year
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆65Updated 2 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆53Updated 3 months ago
• asterinas / vostd
  A community preview of ongoing formal verification efforts for Asterinas
  ☆31Updated this week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated last year
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆134Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆80Updated last week
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆57Updated last year
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆328Updated last week
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• hedayati / hodor
  Hodor-PKU
  ☆25Updated 3 years ago
• syswonder / hvisor
  minimal type-1 Rust Hypervisor for edge devices
  ☆124Updated last week
• rust-vmm / vm-virtio
  virtio implementation
  ☆414Updated last week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆122Updated 2 months ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆17Updated last year
• rcore-os / buddy_system_allocator
  A buddy system allocator in pure Rust.
  ☆115Updated 11 months ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆22Updated last year
• rust-vmm / vhost
  ☆146Updated last week