unikraft / docsLinks
The front page and documentation for the Unikraft Open-Source Project.
☆37Updated 4 months 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☆15Updated this week
- ☆106Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- A utility for decoding aarch64 ESR register values.☆103Updated this week
- ☆126Updated 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
- Linux kernel source tree (Kernel Self Protection Project)☆91Updated last year
- kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…☆182Updated 2 weeks ago
- Quickly build and run kernels inside a virtualized snapshot of your live system☆749Updated this week
- Teaching resources (OER) for Operating Systems☆72Updated last year
- COCONUT-SVSM☆198Updated this week
- An ongoing attempt to create own hypervisior from scratch in linux.☆51Updated 4 years ago
- An on-device confidential computing platform☆134Updated last month
- ☆46Updated last week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Updated 2 weeks ago
- Run Unikraft ELF Loader app on Linux executables☆15Updated 2 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆141Updated 2 years ago
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆19Updated 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 …☆31Updated 2 weeks ago
- Linux Security Hardening for Confidential Compute☆69Updated last year
- Reference implementation of Arm-CCA RMM specification☆70Updated last week
- ☆94Updated last month
- Silm your kernel with better configuration.☆39Updated last year
- Static Analyser for C☆156Updated last week
- A virtual machine monitor for the seL4 microkernel☆52Updated this week
- libpulp enables live patching in user space applications.☆63Updated 2 weeks ago
- ☆40Updated 2 months ago
- Confidential Containers Shim Firmware☆119Updated last week
- Kernel-Mode-Linux☆24Updated 3 years ago
- The Boot and Runtime Services (BRS) specification provides the software requirements for system vendors and Operating System Vendors (OSV…☆58Updated this week