unikraft / docsLinks
The front page and documentation for the Unikraft Open-Source Project.
☆36Updated last month
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 this week
- Loupe: Syscall Usage Analysis Tool☆39Updated this week
- Containers for building the Linux kernel or other software with many different compilers☆227Updated this week
- ☆98Updated 2 years ago
- Teaching resources (OER) for Operating Systems☆69Updated last year
- Linux kernel source tree (Kernel Self Protection Project)☆87Updated 7 months ago
- Static Analyser for C☆131Updated 2 months ago
- ☆123Updated 2 months ago
- Silm your kernel with better configuration.☆36Updated last year
- Quickly build and run kernels inside a virtualized snapshot of your live system☆631Updated this week
- ☆40Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆134Updated last year
- A utility for decoding aarch64 ESR register values.☆95Updated last week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆52Updated 3 years ago
- Reference setup for Linux kernel development in VSCode☆279Updated this week
- Linux in Unikernel Clothing☆71Updated 3 years ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated last year
- A collection of ideas for new kernel features☆63Updated 2 months ago
- Reference implementation of Arm-CCA RMM specification☆57Updated 2 weeks ago
- Linux kernel configs for popular distros.☆53Updated this week
- kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…☆171Updated last week
- Linux Security Hardening for Confidential Compute☆67Updated 11 months ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- A collection of analysis tools for Kconfig and Kbuild constraints.☆55Updated 4 months ago
- Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.☆90Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Risc-V hypervisor for TEE development☆121Updated 2 months ago
- Information about Linux system calls on different architectures☆166Updated last week
- Virtualisation platform using CHERI for isolation and sharing☆39Updated last year