vladandrew / awesome-unikernelsLinks
☆11Updated 4 years ago
Alternatives and similar repositories for awesome-unikernels
Users that are interested in awesome-unikernels are comparing it to the libraries listed below
Sorting:
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 3 years ago
- Loupe: Syscall Usage Analysis Tool☆44Updated this week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆13Updated 5 years ago
- Research unikernel for virtualized services☆52Updated 3 years ago
- ☆12Updated 3 years ago
- ☆21Updated 3 years ago
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- ☆17Updated 2 years ago
- An example app for BPF CO-RE and CI settings with GitHub Actions☆14Updated 3 years ago
- ☆16Updated 3 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- ☆125Updated 7 months ago
- Nautilus Aerokernel☆48Updated 3 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆32Updated 6 years ago
- ☆27Updated last month
- ☆33Updated 7 years ago
- ☆30Updated 4 years ago
- eBPF tool to collect BOLT profile☆14Updated last month
- musl: A C standard library☆15Updated 4 months ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆24Updated 2 years ago
- ☆31Updated 3 months ago
- A Secure and Memory-Efficient Heap Allocator☆34Updated last year
- Crates for Microsoft Hypervisor ioctls and bindings☆41Updated last month
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Compartmentalised monolithic library OS☆20Updated 4 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- Eyrie enclave runtime kernel☆37Updated 2 years ago
- Verification of BPF JIT compilers☆57Updated 2 years ago