unikraft / run-app-elfloader
Run Unikraft ELF Loader app on Linux executables
☆14Updated last year
Alternatives and similar repositories for run-app-elfloader:
Users that are interested in run-app-elfloader are comparing it to the libraries listed below
- musl: A C standard library☆11Updated this week
- ☆50Updated 2 years ago
- A Secure and Memory-Efficient Heap Allocator☆33Updated 10 months ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆23Updated last month
- ☆13Updated 6 years ago
- ☆19Updated 3 years ago
- Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)☆24Updated last year
- Fork of LLVM adding CHERI support☆52Updated last month
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- This repo contains the artifact for our SOSP'19 paper on Serval☆30Updated 5 years ago
- ☆16Updated last year
- QEMU with support for CHERI☆58Updated this week
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆11Updated 2 years ago
- A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs☆10Updated 3 months ago
- ☆17Updated last year
- Basic tools for building seL4 projects☆46Updated 2 weeks ago
- Embedded Universal DSL: a good DSL for us, by us☆36Updated this week
- Verification of BPF JIT compilers☆54Updated last year
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆15Updated this week
- Sail version of Arm ISA definition, currently for Armv9.3-A, and with the previous Sail Armv8.5-A model☆79Updated 3 weeks ago
- NOVA Microhypervisor☆18Updated last month
- sel4 benchmarking applications and support library.☆20Updated last month
- Loupe: Syscall Usage Analysis Tool☆33Updated this week
- LFI: Practical, Efficient, and Secure Software-based Sandboxing☆67Updated this week
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆13Updated 2 weeks ago
- ☆30Updated 3 years ago
- CheriOS -- a minimal microkernel that demonstrates "clean-slate" CHERI memory protection and object capabilities☆40Updated 2 years ago
- Advanced Operating Systems project☆20Updated 7 months ago