olivierpierre / unikernel-papers

Related projects ⓘ

Alternatives and complementary repositories for unikernel-papers

• mars-research / redleaf
  RedLeaf Operating System
  ☆119Updated 2 years ago
• unikraft / loupe
  Loupe: Syscall Usage Analysis Tool
  ☆25Updated last month
• rcore-os / RVM
  Rcore Virtual Machine
  ☆110Updated 8 months ago
• vmware-labs / node-replicated-kernel
  Experimental kernel with built-in replication.
  ☆155Updated 8 months ago
• IPADS-DuVisor / DuVisor
  ☆69Updated last year
• vmware / node-replication
  An operation-log based approach for data replication.
  ☆62Updated last year
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• utsaslab / squirrelfs
  SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)
  ☆49Updated last month
• 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
• AMDESE / linux-svsm
  Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust
  ☆125Updated 9 months ago
• rivosinc / salus
  Risc-V hypervisor for TEE development
  ☆98Updated last year
• rust-vmm / vmm-reference
  A VMM implementation based of rust-vmm components
  ☆147Updated 2 months ago
• NVSL / Corundum
  A Rust library for safely programming persistent memory
  ☆74Updated 5 months ago
• oscomp / proj8-RVM
  Writing a hypervisor in Rust
  ☆11Updated 10 months ago
• asterinas / mlsdisk
  Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs
  ☆16Updated 4 months ago
• rcore-os / virtio-drivers
  VirtIO guest drivers in Rust.
  ☆215Updated 2 weeks ago
• project-dune / dune
  ☆193Updated 2 years ago
• ssrg-vt / libhermitMPK
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆12Updated 4 years ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• microsoft / verismo
  A formally verified security module for AMD confidential VMs
  ☆34Updated 3 weeks ago
• syswonder / ruxos
  Rust Unikernel OS
  ☆59Updated last week
• KuangjuX / hypocaust-2
  hypocaust-2, a type-1 hypervisor with H extension run on RISC-V machine
  ☆50Updated 11 months ago
• rs3lab / SynCord
  https://rs3lab.github.io/SynCord/
  ☆21Updated last year
• rust-vmm / vhost
  ☆133Updated this week
• rcore-os / RVM1.5
  A Type-1.5 hypervisor written in Rust.
  ☆55Updated 6 months ago
• confidential-containers / td-shim
  Confidential Containers Shim Firmware
  ☆97Updated last month
• stanford-mast / shinjuku
  ☆45Updated last year
• OS-F-4 / usr-intr
  项目的主仓库
  ☆22Updated 2 years ago
• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆35Updated 5 months ago
• project-flexos / unikraft
  FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.
  ☆21Updated last year