unikraft / docsLinks
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
Sorting:
- Teaching resources (OER) for Operating Systems☆68Updated last year
- Loupe: Syscall Usage Analysis Tool☆36Updated this week
- Unikraft Google Summer of Code☆14Updated 3 months ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆302Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆28Updated 3 years ago
- ☆87Updated 3 weeks ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆38Updated last week
- ☆33Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 3 years ago
- ☆98Updated last year
- COCONUT-SVSM☆156Updated this week
- Security Summer School: Security Essentials Track☆17Updated 10 months ago
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 4 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆130Updated last year
- This repo holds the work area and revisions of the non-ISA specification created by the RISC-V AP-TEE TG. This specification defines the …☆56Updated 3 weeks ago
- ☆122Updated 4 months ago
- An experimental virtual machine monitor for the seL4 microkernel☆40Updated this week
- ☆37Updated last week
- Python library for configuring and building unikernels☆178Updated 2 years ago
- An ongoing attempt to create own hypervisior from scratch in linux.☆49Updated 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 …☆27Updated this week
- ☆22Updated last year
- ☆40Updated last week
- Static Analyser for C☆117Updated last week
- Confidential Containers Shim Firmware☆111Updated last week
- perf-script and (Linux, QEMU, SeaBIOS) patches to measure the boot time of a Linux VM with QEMU☆39Updated 5 years ago
- Reference implementation of Arm-CCA RMM specification☆52Updated this week
- A library OS for Linux multi-process applications, with Intel TDX support (experimental)☆35Updated 8 months ago
- Linux kernel source tree☆27Updated last month
- The development version of the L4Re Microkernel☆132Updated 2 weeks ago