unikraft / docs
The front page and documentation for the Unikraft Open-Source Project.
☆35Updated 2 weeks ago
Alternatives and similar repositories for docs:
Users that are interested in docs are comparing it to the libraries listed below
- Unikraft Google Summer of Code☆14Updated 2 months ago
- Teaching resources (OER) for Operating Systems☆67Updated 11 months ago
- Loupe: Syscall Usage Analysis Tool☆33Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆27Updated 3 years ago
- ☆120Updated 2 months ago
- ☆96Updated last year
- Reference implementation of Arm-CCA RMM specification☆49Updated this week
- ☆19Updated 3 years ago
- ☆30Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆129Updated last year
- kw is our inglorious kernel developer workflow tool with a simple mission: reduce the overhead with infrastructure setup for Linux develo…☆162Updated 3 weeks ago
- An on-device confidential computing platform☆114Updated this week
- A formally verified security module for AMD confidential VMs☆43Updated 3 weeks ago
- COCONUT-SVSM☆150Updated last week
- Security Summer School: Security Essentials Track☆17Updated 9 months ago
- Security Summer School, Binary track☆27Updated 10 months ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆49Updated 3 years ago
- ☆158Updated 3 months ago
- ☆86Updated this week
- Forked from tf-rmm@trustedfirmware, support QEMU platform. Check wiki for instruction. https://github.com/Huawei/Huawei_CCA_RMM/wiki☆19Updated 2 years ago
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 3 months ago
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆38Updated 5 years ago
- Run Unikraft ELF Loader app on Linux executables☆14Updated last year
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆39Updated this week
- An experimental virtual machine monitor for the seL4 microkernel☆38Updated last week
- Examples for: Learning KVM - implement your own kernel☆372Updated last year
- Containers for building the Linux kernel or other software with many different compilers☆214Updated last month
- Compartmentalised monolithic library OS☆19Updated 3 years ago