unikraft / docsLinks
The front page and documentation for the Unikraft Open-Source Project.
☆37Updated 3 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☆14Updated 3 months ago
- Linux kernel source tree (Kernel Self Protection Project)☆91Updated 11 months ago
- ☆104Updated 2 years ago
- Containers for building the Linux kernel or other software with many different compilers☆254Updated last week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆42Updated this week
- Loupe: Syscall Usage Analysis Tool☆45Updated this week
- A collection of analysis tools for Kconfig and Kbuild constraints.☆67Updated 3 weeks ago
- ☆44Updated this week
- ☆125Updated 7 months ago
- Static Analyser for C☆150Updated 3 weeks ago
- A utility for decoding aarch64 ESR register values.☆100Updated last week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆142Updated 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
- COCONUT-SVSM☆189Updated this week
- Teaching resources (OER) for Operating Systems☆71Updated last year
- Quickly build and run kernels inside a virtualized snapshot of your live system☆724Updated this week
- An ongoing attempt to create own hypervisior from scratch in linux.☆51Updated 4 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 4 years ago
- Reference implementation of Arm-CCA RMM specification☆68Updated 3 weeks ago
- ☆21Updated 3 years ago
- Silm your kernel with better configuration.☆38Updated last year
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆40Updated 5 years ago
- ☆40Updated last month
- Reference setup for Linux kernel development in VSCode☆313Updated 3 weeks ago
- Linux Security Hardening for Confidential Compute☆69Updated last year
- An on-device confidential computing platform☆133Updated 3 weeks ago
- Linux in Unikernel Clothing☆71Updated 4 years ago
- Confidential Containers Shim Firmware☆116Updated this week
- Risc-V hypervisor for TEE development☆126Updated 6 months ago
- A virtual machine monitor for the seL4 microkernel☆47Updated this week