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☆16Updated 3 years ago
- ☆20Updated 3 years ago
- Nautilus Aerokernel☆46Updated 3 years ago
- ☆17Updated 2 years ago
- ☆33Updated 7 years ago
- ☆30Updated 3 years ago
- ☆37Updated last year
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- ☆12Updated 3 years ago
- Virtualisation platform using CHERI for isolation and sharing☆39Updated last year
- ☆25Updated last week
- A superoptimizing compiler for packet-processing☆30Updated 2 years ago
- Research unikernel for virtualized services☆51Updated 2 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆22Updated 2 years ago
- musl: A C standard library☆13Updated last month
- ☆16Updated 3 years ago
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆21Updated this week
- ☆122Updated 4 months ago
- Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing☆90Updated 2 months ago
- Crates for Microsoft Hypervisor ioctls and bindings☆41Updated this week
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- Loadable Module for Keystone Enclave☆19Updated 3 years ago
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Updated last year
- QEMU with support for CHERI☆59Updated last week
- Loupe: Syscall Usage Analysis Tool☆39Updated this week
- Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…☆14Updated 3 years ago
- ☆20Updated last month
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆35Updated last year
- Proof-of-concept implementation for the paper "SegScope: Probing Fine-grained Interrupts via Architectural Footprints" (HPCA'24)☆19Updated 9 months ago
- Eyrie enclave runtime kernel☆37Updated 2 years ago