seeker89 / unikernelsLinks
State of the art for unikernels
☆221Updated last year
Alternatives and similar repositories for unikernels
Users that are interested in unikernels are comparing it to the libraries listed below
Sorting:
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆263Updated 4 years ago
- Python library for configuring and building unikernels☆178Updated 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'…☆120Updated 5 years ago
- Linux system calls.☆217Updated 6 years ago
- A binary-compatible unikernel☆398Updated last year
- Linux in Unikernel Clothing☆71Updated 4 years ago
- Unikernel Linux☆225Updated 5 months ago
- Popcorn Linux kernel for distributed thread execution☆171Updated 2 years ago
- hBPF = eBPF in hardware☆424Updated 3 years ago
- Unikernel and immutable infrastructures☆622Updated 3 years ago
- The Xr0 Verifier for C☆207Updated 9 months ago
- The world's worst kernel module☆300Updated 4 years ago
- xv6 OS☆246Updated 4 months ago
- A component-based OS☆199Updated last week
- A mini x86-64 assembler for fun and learning.☆221Updated last week
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆285Updated 3 months ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆19Updated 2 years ago
- A simple educational linux container runtime.☆115Updated 4 years ago
- A UI for eBPF-based performance debugging☆581Updated 3 years ago
- An ergonomic and safe syscall interception framework for Linux.☆810Updated last week
- A mirror of TinyBIOS repository☆313Updated 3 weeks ago
- HermitCore: A C-based, lightweight unikernel☆227Updated 4 years ago
- A list about Unikernels☆117Updated 2 years ago
- Experimental Linux Virtual Machine based on UML and noMMU☆67Updated 4 years ago
- Mirror of the official Barrelfish OS repository.☆220Updated 3 years ago
- Manticore is a research operating system, written in Rust.☆295Updated 2 years ago
- A dynamic library bundling the guest payload consumed by libkrun☆117Updated last month
- Low-overhead tracing of all Linux kernel-user transitions, for serious performance analysis. Includes kernel patches, loadable module, an…☆685Updated last year
- ☆205Updated 3 years ago
- The tiniest chat servers on earth!☆78Updated 3 years ago