unikraft / run-app-elfloader
Run Unikraft ELF Loader app on Linux executables
☆13Updated 11 months ago
Related projects: ⓘ
- ☆11Updated 3 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- ☆30Updated 2 years ago
- ☆19Updated 2 years ago
- Load and execute Linux ELF binaries☆23Updated last month
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆38Updated this week
- ☆14Updated 2 months ago
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆14Updated 3 years ago
- Research unikernel for virtualized services☆48Updated last year
- ☆13Updated last month
- Verification of BPF JIT compilers☆54Updated last year
- An experimental virtual machine monitor for the seL4 microkernel☆24Updated this week
- ☆13Updated 5 years ago
- FlexOS is a Unikraft-based OS allowing users to easily specialize the safety and isolation strategy at compilation time.☆21Updated last year
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆17Updated last year
- A Secure and Memory-Efficient Heap Allocator☆32Updated 2 months ago
- ☆16Updated 11 months ago
- XML representation of the x86 instruction set☆27Updated last year
- memTrace, a framework for lightweight memory tracing☆54Updated 4 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆35Updated last year
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆23Updated last month
- ☆18Updated 2 weeks ago
- QEMU with support for CHERI☆52Updated 2 weeks ago
- ☆12Updated 2 years ago
- K42 Kernel☆23Updated 12 years ago
- Virtual Machine eXtension for JOS☆22Updated 10 years ago
- sel4 benchmarking applications and support library.☆18Updated 2 months ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆28Updated 5 years ago
- Advanced Operating Systems project☆19Updated 2 weeks ago