unikraft / eurosys21-artifacts
Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Paper Award).
☆25Updated 3 years ago
Alternatives and similar repositories for eurosys21-artifacts:
Users that are interested in eurosys21-artifacts are comparing it to the libraries listed below
- Loupe: Syscall Usage Analysis Tool☆30Updated this week
- ☆113Updated 3 weeks ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- ☆60Updated 7 months ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆38Updated 4 years ago
- https://rs3lab.github.io/SynCord/☆22Updated 2 years ago
- Code artifact of the papers "A Simpler and Faster NIC Driver Model for Network Functions" (OSDI 2020) and "Safe low-level code without ov…☆61Updated last year
- RedLeaf Operating System☆122Updated 2 years ago
- ☆135Updated 2 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆126Updated last year
- 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 …☆24Updated 2 weeks ago
- ☆24Updated last year
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆22Updated last year
- ☆196Updated 2 years ago
- ☆21Updated this week
- A verified library of synchronization primitives and concurrent data structures☆26Updated this week
- ☆19Updated 2 years ago
- Measures the conformance of a BPF runtime to the ISA.☆31Updated last week
- Hodor-PKU☆23Updated 3 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆12Updated 5 months ago
- Linux in Unikernel Clothing☆70Updated 3 years ago
- Virtualisation platform using CHERI for isolation and sharing☆35Updated 8 months ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆18Updated last year
- [NSDI '24] DINT: Fast In-Kernel Distributed Transactions with eBPF☆41Updated 7 months ago
- ☆70Updated last year
- A formally verified security module for AMD confidential VMs☆36Updated 3 months ago
- ☆45Updated last year
- ☆25Updated 4 months ago
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- An assembler for eBPF programs written in an Intel-like assembly syntax.☆47Updated last year