vladandrew / awesome-unikernels
☆11Updated 3 years ago
Alternatives and similar repositories for awesome-unikernels:
Users that are interested in awesome-unikernels are comparing it to the libraries listed below
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- A superoptimizing compiler for packet-processing☆30Updated last year
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆13Updated last week
- ☆31Updated 3 years ago
- ☆31Updated 6 years ago
- Virtualisation platform using CHERI for isolation and sharing☆36Updated 9 months ago
- ☆35Updated 8 months ago
- ☆19Updated 2 years ago
- ☆113Updated last month
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- Skyloft: A General High-Efficient Scheduling Framework in User Space (SOSP 2024)☆32Updated 6 months ago
- Heterogeneous Containerization of Large Language Model Apps☆32Updated this week
- rkt-io Library OS for running Linux applications inside of Intel SGX enclaves☆30Updated 3 years ago
- ☆16Updated 2 years ago
- ☆27Updated last week
- ☆16Updated last year
- ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)☆11Updated 9 months ago
- Repo for OSDI 2023 paper: "Ship your Critical Section Not Your Data: Enabling Transparent Delegation with TCLocks"☆14Updated 4 months ago
- [MICRO'20] LENS: A Low-level NVRAM Profiler [USENIX Security'23] NVLeak: Off-Chip Side-Channel Attacks via Non-Volatile Memory Systems☆14Updated 8 months ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆16Updated 8 months ago
- Crates for Microsoft Hypervisor ioctls and bindings☆33Updated last week
- Source code for the FAST '23 paper “MadFS: Per-File Virtualization for Userspace Persistent Memory Filesystems”☆39Updated 2 years ago
- This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…☆14Updated 2 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated 9 months ago
- Tools and experiments for 0sim. Simulate system software behavior on machines with terabytes of main memory from your desktop.☆21Updated 4 years ago
- ☆16Updated 2 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆29Updated 5 years ago
- ☆16Updated last year