unikraft / docsLinks
The front page and documentation for the Unikraft Open-Source Project.
☆36Updated 2 weeks ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- Unikraft Google Summer of Code☆14Updated 3 weeks ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Loupe: Syscall Usage Analysis Tool☆39Updated this week
- ☆41Updated this week
- ☆99Updated 2 years ago
- Silm your kernel with better configuration.☆36Updated last year
- ☆122Updated 3 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆137Updated last year
- pKVM POC for x86☆25Updated last week
- Reference setup for Linux kernel development in VSCode☆283Updated 3 weeks ago
- Quickly build and run kernels inside a virtualized snapshot of your live system☆648Updated last week
- Static Analyser for C☆134Updated 2 months ago
- An on-device confidential computing platform☆124Updated last week
- A utility for decoding aarch64 ESR register values.☆96Updated this week
- Containers for building the Linux kernel or other software with many different compilers☆228Updated 3 weeks ago
- ☆207Updated 3 years ago
- Teaching resources (OER) for Operating Systems☆69Updated last year
- ☆39Updated last month
- ☆20Updated 3 years ago
- This is a read-only mirror of the kvm-unit-tests repository from https://gitlab.com/kvm-unit-tests/kvm-unit-tests. Pull requests here at …☆28Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆91Updated last week
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 years ago
- Linux kernel source tree (Kernel Self Protection Project)☆89Updated 7 months ago
- Virtualisation platform using CHERI for isolation and sharing☆39Updated last year
- COCONUT-SVSM☆176Updated this week
- An easy way to virtualize the running system☆351Updated last year
- Risc-V hypervisor for TEE development☆122Updated 3 months ago
- A virtual machine monitor for the seL4 microkernel☆41Updated last week