unikraft / docs
The front page and documentation for the Unikraft Open-Source Project.
☆33Updated last week
Related projects ⓘ
Alternatives and complementary repositories for docs
- Teaching resources (OER) for Operating Systems☆63Updated 6 months ago
- Unikraft Google Summer of Code☆12Updated 2 months ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆238Updated this week
- Loupe: Syscall Usage Analysis Tool☆25Updated last month
- Static Analyser for C☆102Updated this week
- FlexOS: Towards Flexible OS Isolation (ASPLOS'22) Artifact Evaluation Repository☆16Updated 2 years ago
- Artifacts, including experiments and graphs, for the paper: "Unikraft: Fast, Specialized Unikernels the Easy Way" (EuroSys'21 - Best Pape…☆25Updated 3 years ago
- ☆19Updated 2 years ago
- Linux in Unikernel Clothing☆67Updated 3 years ago
- An experimental virtual machine monitor for the seL4 microkernel☆29Updated this week
- Information about Linux system calls on different architectures☆140Updated this week
- ☆21Updated this week
- An ongoing attempt to create own hypervisior from scratch in linux.☆48Updated 3 years ago
- The core components of the L4Re operating system.☆76Updated 2 weeks ago
- kdevops history tree - use new git tree☆46Updated 7 months ago
- ☆108Updated last week
- A utility for decoding aarch64 ESR register values.☆74Updated this week
- ACS - Proiectarea Algoritmilor (lab)☆13Updated last year
- Containers for building the Linux kernel or other software with many different compilers☆196Updated 3 weeks ago
- Rust library abstracting Linux AMD SEV and SEV-SNP ioctls.☆89Updated this week
- Kernel Test Framework☆140Updated 3 weeks ago
- Reference setup for Linux kernel development in VSCode☆203Updated 6 months ago
- Python library for configuring and building unikernels☆177Updated last year
- ☆143Updated 5 months ago
- Linux SVSM (Secure VM Service Module) for secure x86 virtualization in Rust☆125Updated 9 months ago
- Compartmentalised monolithic library OS☆19Updated 3 years ago
- Silm your kernel with better configuration.☆33Updated 6 months ago
- Easily build and run CHERI related projects☆68Updated 3 weeks ago
- COCONUT-SVSM☆122Updated this week
- Examples for: Learning KVM - implement your own kernel☆358Updated last year