unikraft / docs
The front page and documentation for the Unikraft Open-Source Project.
☆35Updated 2 months 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 last month
- Teaching resources (OER) for Operating Systems☆66Updated 10 months ago
- Loupe: Syscall Usage Analysis Tool☆32Updated this week
- Build and use highly customized and ultra-lightweight unikernel VMs.☆283Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆35Updated this week
- ☆96Updated last year
- BPF CO-RE based sched-analyzer☆34Updated last month
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆27Updated 3 years ago
- Static Analyser for C☆114Updated 2 weeks ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- Linux kernel source tree (Kernel Self Protection Project)☆85Updated 2 months ago
- ☆28Updated this week
- Reference implementation of Arm-CCA RMM specification☆48Updated this week
- Microkit - A simple operating system framework for the seL4 microkernel☆113Updated this week
- ☆114Updated 2 months ago
- kdevops history tree - use new git tree☆46Updated 11 months ago
- Containers for building the Linux kernel or other software with many different compilers☆209Updated last week
- Run integrity protected workloads in a hardware based Trusted Execution Environment.☆39Updated this week
- Run Unikraft ELF Loader app on Linux executables☆14Updated last year
- 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 …☆26Updated last week
- A utility for decoding aarch64 ESR register values.☆84Updated 3 weeks ago
- ☆22Updated 2 weeks ago
- COCONUT-SVSM☆143Updated this week
- ☆46Updated 7 months ago
- ☆19Updated 2 years ago
- A tool to extract code content from source files using the clang and LLVM infrastructure.☆19Updated 3 months ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- 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 …☆53Updated 2 weeks ago
- Virtualisation platform using CHERI for isolation and sharing☆37Updated 9 months ago