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
  ☆129Updated 3 years ago
• 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 4 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆38Updated this week
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆132Updated last year
• LinuxPerfStudy / LEBench
  ☆62Updated last year
• project-dune / dune
  ☆203Updated 3 years ago
• tstamler / zIO
  Transparent zero-copy IO
  ☆21Updated last year
• hedayati / hodor
  Hodor-PKU
  ☆25Updated 3 years ago
• TwinVisor / twinvisor-prototype
  ☆23Updated 3 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 4 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆49Updated last month
• google / ghost-userspace
  ☆232Updated last year
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated last year
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆33Updated 3 years ago
• casys-kaist / ozz
  OZZ: Identifying Kernel Out-of-Order Concurrency Bugs with In-Vivo Memory Access Reordering
  ☆38Updated 11 months ago
• aliyun / plugsched
  Live upgrade Linux kernel scheduler subsystem
  ☆88Updated last year
• OS-F-4 / usr-intr
  项目的主仓库
  ☆25Updated 2 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆40Updated last year
• glarer / UserspaceBypass
  ☆58Updated last year
• google / ghost-kernel
  ☆226Updated 11 months ago
• Penglai-Enclave / Penglai-Enclave-sPMP
  Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.
  ☆142Updated 4 months ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆24Updated 2 years ago
• yhtzd / skyloft
  Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)
  ☆36Updated 10 months ago
• kvm-unit-tests / kvm-unit-tests
  This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …
  ☆28Updated 3 weeks ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆119Updated last month
• confidential-containers / td-shim
  Confidential Containers Shim Firmware
  ☆112Updated 3 weeks ago
• JunctionOS / junction
  Next-generation datacenter OS built on kernel bypass to speed up unmodified code while improving platform density and security
  ☆102Updated last week
• soulxu / kvmsample
  minivm based on kvm
  ☆152Updated last year
• open-s4c / libvsync
  A verified library of synchronization primitives and concurrent data structures
  ☆38Updated last week