seeker89 / unikernelsLinks
State of the art for unikernels
☆217Updated last year
Alternatives and similar repositories for unikernels
Users that are interested in unikernels are comparing it to the libraries listed below
Sorting:
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆260Updated 3 years ago
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆118Updated 4 years ago
- A binary-compatible unikernel☆394Updated 9 months ago
- Unikernel Linux☆206Updated last week
- Linux system calls.☆214Updated 5 years ago
- The Xr0 Verifier for C☆179Updated last month
- hBPF = eBPF in hardware☆414Updated 2 years ago
- xv6 OS☆238Updated last month
- Unikernel and immutable infrastructures☆607Updated 3 years ago
- Popcorn Linux kernel for distributed thread execution☆160Updated last year
- A mini x86-64 assembler for fun and learning.☆213Updated 2 months ago
- A list about Unikernels☆113Updated last year
- Mirror of the official Barrelfish OS repository.☆198Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆136Updated this week
- RISC-V hypervisor written in Rust☆359Updated 5 years ago
- A curated list of resources on operating system design and implementation.☆152Updated last year
- The world's worst kernel module☆300Updated 3 years ago
- A simple C coroutine library.☆227Updated last year
- Minimal linux container runtime☆448Updated 3 years ago
- A UI for eBPF-based performance debugging☆573Updated 2 years ago
- Virtual machine's guest memory crate☆320Updated last week
- A mirror of TinyBIOS repository☆311Updated last week
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- Helios: Or, a Vision in a Dream. A Fragment.☆383Updated this week
- Tiny C++ boot loader☆81Updated last year
- A secure container runtime with CRI/OCI interface☆341Updated 4 months ago
- A sandboxed execution environment for unikernels☆939Updated 3 months ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆302Updated this week