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
  ☆136Updated 3 years ago
• IPADS-DuVisor / DuVisor
  ☆72Updated 2 years ago
• unikraft / eurosys21-artifacts
  Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…
  ☆28Updated 4 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆41Updated this week
• LinuxPerfStudy / LEBench
  ☆64Updated last year
• project-dune / dune
  ☆208Updated 3 years ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆24Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆26Updated 4 years ago
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆141Updated last year
• host-architecture / Fast-and-Safe-IO-Memory-Protection
  ☆13Updated 11 months ago
• rcore-os / RVM
  Rcore Virtual Machine
  ☆114Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated 2 months ago
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years 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…
  ☆92Updated this week
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• aliyun / plugsched
  Live upgrade Linux kernel scheduler subsystem
  ☆88Updated 2 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆40Updated last year
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆57Updated last week
• glarer / UserspaceBypass
  ☆58Updated last year
• intel / uintr-linux-kernel
  ☆35Updated last year
• rust-vmm / vm-virtio
  virtio implementation
  ☆419Updated last week
• project-flexos / asplos22-ae
  FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository
  ☆17Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆34Updated 3 years ago
• syswonder / hvisor
  safe type-1 Rust Hypervisor for edge devices
  ☆147Updated 2 weeks ago
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 3 years ago
• mit-pdos / RVirt
  RISC-V hypervisor written in Rust
  ☆366Updated 5 years ago
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆58Updated last year
• Penglai-Enclave / Penglai-Enclave-sPMP
  Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.
  ☆144Updated 8 months ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆18Updated last year
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆11Updated 7 months ago