vladandrew / awesome-unikernels
☆11Updated 3 years ago
Related projects: ⓘ
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆23Updated last month
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- ☆104Updated 2 weeks ago
- Run Unikraft ELF Loader app on Linux executables☆13Updated 11 months ago
- ☆16Updated 11 months ago
- ☆16Updated 2 years ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆14Updated 3 years ago
- ☆32Updated 2 months ago
- ☆30Updated 2 years ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆35Updated 4 years ago
- Nautilus Aerokernel☆43Updated 2 years ago
- ☆19Updated 2 years ago
- ☆17Updated this week
- A superoptimizing compiler for packet-processing☆30Updated last year
- ☆20Updated last week
- Virtualisation platform using CHERI for isolation and sharing☆34Updated 3 months ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆10Updated 2 months ago
- Crates for Microsoft Hypervisor ioctls and bindings☆29Updated this week
- An experimental modular OS written in Rust.☆13Updated 2 months ago
- ☆13Updated last month
- Risc-V hypervisor for TEE development☆93Updated last year
- Heterogeneous memory mapper (hmmap)☆10Updated 3 years ago
- ☆58Updated 2 months ago
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆16Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- An NVMe Device Simulation Library.☆48Updated 2 years ago
- ☆33Updated last week