Alternatives and similar repositories for redleaf:

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

• olivierpierre / unikernel-papers
  ☆114Updated 2 months ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆55Updated last month
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 9 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆243Updated last week
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆357Updated 5 years ago
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆150Updated 6 months ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• utaal / verified-nrkernel
  ☆13Updated this week
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆32Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆60Updated 10 months ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆31Updated last week
• KuangjuX / hypocaust
  hypocaust, a S-mode trap and emulate type-1 hypervisor run on RISC-V machine.
  ☆48Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆32Updated 7 months ago
• LinuxPerfStudy / LEBench
  ☆61Updated 9 months ago
• rust-vmm / vhost
  ☆138Updated this week
• OS-F-4 / usr-intr
  项目的主仓库
  ☆24Updated 2 years ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆19Updated last year
• rex-rs / rex
  Rex is a safe and usable kernel extension framework that allows loading and executing Rust kernel extension programs in the place of eBPF…
  ☆27Updated last week
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆33Updated 6 months ago
• rust-vmm / vm-memory
  Virtual machine's guest memory crate
  ☆320Updated this week
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆27Updated 3 years ago
• Multi-V-VM / MVVM
  Heterogeneous Containerization of Large Language Model Apps
  ☆36Updated last week
• tchajed / sys-verif-fa24
  Course website for Systems Verification Fall 2024
  ☆11Updated this week
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆37Updated 9 months ago
• seL4 / rust-sel4
  Rust support for seL4 userspace
  ☆139Updated this week
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆112Updated last year
• 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
• rust-vmm / linux-loader
  Linux kernel loader
  ☆197Updated 3 weeks ago