olivierpierre / unikernel-papers
☆112Updated this week
Alternatives and similar repositories for unikernel-papers:
Users that are interested in unikernel-papers are comparing it to the libraries listed below
- Loupe: Syscall Usage Analysis Tool☆27Updated this week
- RedLeaf Operating System☆120Updated 2 years ago
- SquirrelFS: A crash-consistent Rust file system for persistent memory (OSDI 24)☆53Updated last week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- ☆68Updated last year
- A VMM implementation based of rust-vmm components☆149Updated 4 months ago
- A verified library of synchronization primitives and concurrent data structures☆26Updated this week
- ☆134Updated last month
- Experimental kernel with built-in replication.☆156Updated 10 months ago
- Rust Unikernel OS☆67Updated last week
- A formally verified security module for AMD confidential VMs☆36Updated 3 months ago
- a Rust Hypervisor for mission-critical system☆52Updated 2 weeks ago
- Rcore Virtual Machine☆110Updated 10 months ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 6 months ago
- VirtIO guest drivers in Rust.☆228Updated this week
- 项目的主仓库☆23Updated 2 years ago
- ☆21Updated 2 years ago
- ☆60Updated 6 months ago
- Risc-V hypervisor for TEE development☆106Updated last year
- Let's write an x86 hypervisor in Rust from scratch!☆152Updated last year
- ☆297Updated last week
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆41Updated 6 months ago
- ☆25Updated 4 months ago
- ☆43Updated 3 months ago
- Confidential Containers Shim Firmware☆100Updated last month
- Live upgrade Linux kernel scheduler subsystem☆85Updated last year
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- Virtual machine's guest memory crate☆315Updated 3 weeks ago
- virtio implementation☆385Updated 2 weeks ago
- ☆72Updated last year