Alternatives and similar repositories for redleaf:

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

• olivierpierre / unikernel-papers
  ☆112Updated this week
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆156Updated 10 months ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆53Updated last week
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆73Updated 7 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆228Updated this week
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆149Updated 4 months ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆354Updated 5 years ago
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆61Updated last year
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆27Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆56Updated 8 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆23Updated 2 years ago
• IPADS-DuVisor / DuVisor
  ☆68Updated last year
• rust-vmm / vhost
  ☆134Updated last month
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆315Updated 3 weeks ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆110Updated 10 months ago
• uclasystem / DRust
  ☆43Updated 3 months ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆67Updated last week
• smiller123 / bento
  ☆72Updated last year
• LinuxPerfStudy / LEBench
  ☆60Updated 6 months ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆22Updated last year
• sslab-gatech / cs3210-rustos-public
  Lab assignments for Georgia Tech CS 3210 "Design of Operating Systems"
  ☆115Updated 4 years ago
• rust-vmm / kvm-bindings
  ☆141Updated 2 months ago
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆46Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆26Updated this week
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆25Updated 3 years ago
• project-dune / dune
  ☆196Updated 2 years ago
• syswonder / hvisor
  a Rust Hypervisor for mission-critical system
  ☆52Updated 2 weeks ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆125Updated 2 months ago
• stanford-mast / shinjuku
  ☆45Updated last year
• imtsuki / xv7
  🦀️ Operating System in 100% Pure Rust
  ☆101Updated 3 years ago