Alternatives and similar repositories for unikernel-papers

Users that are interested in unikernel-papers are comparing it to the libraries listed below

• mars-research / redleaf
  RedLeaf Operating System
  ☆124Updated 3 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆35Updated this week
• IPADS-DuVisor / DuVisor
  ☆72Updated last year
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 3 years ago
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆35Updated last month
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆59Updated 3 weeks ago
• syswonder / hvisor
  a Rust Hypervisor for mission-critical system
  ☆91Updated last week
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆37Updated 9 months ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆130Updated last year
• rust-vmm / vhost
  ☆138Updated last week
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆157Updated last year
• LinuxPerfStudy / LEBench
  ☆62Updated 11 months ago
• 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…
  ☆33Updated this week
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆261Updated 3 weeks ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆45Updated 2 months ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆19Updated last year
• syswonder / ruxos
  Rust Unikernel OS
  ☆77Updated 3 weeks ago
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆65Updated last year
• uclasystem / DRust
  ☆47Updated 7 months ago
• openanolis / dragonball-sandbox
  Dragonball-sandbox is a collection of Rust crates to help build custom Virtual Machine Monitors and hypervisors.
  ☆90Updated last year
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆152Updated 8 months ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆22Updated 2 years ago
• google / ghost-kernel
  ☆225Updated 9 months ago
• rs3lab / KFlex
  ☆30Updated 2 months ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆24Updated 2 years ago
• project-dune / dune
  ☆200Updated 3 years ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 10 months ago
• aliyun / plugsched
  Live upgrade Linux kernel scheduler subsystem
  ☆88Updated last year
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆359Updated 5 years ago