unikraft / docsLinks
The front page and documentation for the Unikraft Open-Source Project.
☆36Updated last week
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 5 months ago
- ☆98Updated last year
- Teaching resources (OER) for Operating Systems☆68Updated last year
- Loupe: Syscall Usage Analysis Tool☆37Updated this week
- ☆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
- Containers for building the Linux kernel or other software with many different compilers☆225Updated this week
- An on-device confidential computing platform☆118Updated this week
- ☆124Updated last month
- Quickly build and run kernels inside a virtualized snapshot of your live system☆599Updated last week
- COCONUT-SVSM☆165Updated this week
- 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 2 weeks ago
- kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…☆170Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆132Updated last year
- Silm your kernel with better configuration.☆36Updated last year
- Linux kernel source tree (Kernel Self Protection Project)☆87Updated 5 months ago
- BPF CO-RE based sched-analyzer☆34Updated 5 months ago
- ☆89Updated last week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- A utility for decoding aarch64 ESR register values.☆93Updated this week
- Reference implementation of Arm-CCA RMM specification☆55Updated last week
- Static Analyser for C☆125Updated 3 weeks ago
- ☆405Updated this week
- Reference setup for Linux kernel development in VSCode☆263Updated 2 weeks ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- ☆39Updated this week
- An ongoing attempt to create own hypervisior from scratch in linux.☆49Updated 3 years ago
- Linux Security Hardening for Confidential Compute☆67Updated 10 months ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆38Updated this week
- The repo contains the SPMP architectural specification, which includes capabilities like access control of read/write/execute requests by…☆20Updated 3 weeks ago