unikraft / docs
The front page and documentation for the Unikraft Open-Source Project.
☆33Updated 3 weeks ago
Related projects: ⓘ
- Teaching resources (OER) for Operating Systems☆63Updated 4 months ago
- Unikraft Google Summer of Code☆13Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Loupe: Syscall Usage Analysis Tool☆23Updated last month
- An experimental virtual machine monitor for the seL4 microkernel☆24Updated this week
- Build and use highly customized and ultra-lightweight unikernel VMs.☆226Updated this week
- ACS - Proiectarea Algoritmilor (lab)☆13Updated last year
- ☆104Updated 2 weeks ago
- ☆82Updated last year
- Security Summer School: Security Essentials Track☆19Updated last month
- ☆20Updated last week
- ☆34Updated this week
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- Risc-V hypervisor for TEE development☆93Updated last year
- Linux kernel source tree (Kernel Self Protection Project)☆84Updated 3 weeks ago
- Leo Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.☆27Updated 2 years ago
- Static Analyser for C☆96Updated this week
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆123Updated 7 months 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 …☆22Updated 2 weeks ago
- Questions + answers for the SO interview exam☆71Updated this week
- This specification will define the RISC-V privilege ISA extensions required to support Supervisor Domain isolation for multi-tenant secur…☆32Updated 2 weeks ago
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆20Updated last week
- Intra-Unikernel Isolation with Intel Memory Protection Keys☆12Updated 4 years ago
- Reference implementation of Arm-CCA RMM specification☆37Updated this week
- An on-device confidential computing platform☆92Updated this week
- COCONUT-SVSM☆107Updated this week
- Load and execute Linux ELF binaries☆23Updated last month
- ☆19Updated 2 years ago
- Microkit - A simple operating system framework for the seL4 microkernel☆79Updated 2 weeks ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆86Updated last week