unikraft / docsLinks
The front page and documentation for the Unikraft Open-Source Project.
☆35Updated 2 months ago
Alternatives and similar repositories for docs
Users that are interested in docs are comparing it to the libraries listed below
Sorting:
- Loupe: Syscall Usage Analysis Tool☆42Updated last week
- Linux kernel source tree (Kernel Self Protection Project)☆90Updated 10 months ago
- ☆103Updated 2 years ago
- A utility for decoding aarch64 ESR register values.☆99Updated this week
- Unikraft Google Summer of Code☆14Updated 2 months ago
- Teaching resources (OER) for Operating Systems☆70Updated last year
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Quickly build and run kernels inside a virtualized snapshot of your live system☆678Updated last week
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated last year
- Static Analyser for C☆138Updated last week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 5 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 …☆29Updated this week
- ☆91Updated last month
- An ongoing attempt to create own hypervisior from scratch in linux.☆51Updated 4 years ago
- Silm your kernel with better configuration.☆38Updated last year
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- A minimal Linux scheduler with sched-ext written in C☆27Updated 8 months ago
- ☆39Updated last week
- A collection of ideas for new kernel features☆66Updated this week
- ☆124Updated 5 months ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆64Updated last month
- COCONUT-SVSM☆184Updated this week
- Linux kernel configs for popular distros.☆59Updated last month
- ☆209Updated 3 years ago
- Risc-V hypervisor for TEE development☆125Updated 5 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆40Updated last week
- ☆20Updated 3 years ago
- Kernel Test Framework☆149Updated 2 weeks ago
- An easy way to virtualize the running system☆351Updated 2 years ago