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 3 weeks ago
- Loupe: Syscall Usage Analysis Tool☆39Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- A utility for decoding aarch64 ESR register values.☆97Updated this week
- Linux kernel source tree (Kernel Self Protection Project)☆89Updated 8 months ago
- ☆99Updated 2 years ago
- Teaching resources (OER) for Operating Systems☆70Updated last year
- ☆42Updated this week
- ☆123Updated 4 months ago
- Static Analyser for C☆135Updated 3 months ago
- Containers for building the Linux kernel or other software with many different compilers☆231Updated last month
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆139Updated last year
- Quickly build and run kernels inside a virtualized snapshot of your live system☆655Updated this week
- kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…☆176Updated last week
- Kernel-Mode-Linux☆24Updated 3 years ago
- Kernel Test Framework☆149Updated 8 months ago
- Reference setup for Linux kernel development in VSCode☆291Updated this week
- An on-device confidential computing platform☆125Updated this week
- ☆20Updated 3 years ago
- Hackers' mails management tool☆39Updated last month
- 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 last month
- libpulp enables live patching in user space applications.☆63Updated 2 weeks ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆52Updated 4 years ago
- COCONUT-SVSM☆180Updated last week
- RISC-V Security Model☆32Updated this week
- This repo is no longer active. sched_ext is now developed in https://git.kernel.org/pub/scm/linux/kernel/git/tj/sched_ext.git/☆137Updated last year
- Reference implementation of Arm-CCA RMM specification☆64Updated this week
- Pseudo-wiki; offering guides, tutorials, and examples for new QEMU users.☆95Updated 2 years ago
- Virtualisation platform using CHERI for isolation and sharing☆40Updated last year
- ☆207Updated 3 years ago