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:
- Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.☆260Updated 3 years ago
- Python library for configuring and building unikernels☆178Updated 2 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'…☆119Updated 4 years ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- A binary-compatible unikernel☆395Updated last year
- Unikernel Linux☆208Updated last month
- Linux system calls.☆215Updated 5 years ago
- xv6 OS☆242Updated 3 weeks ago
- hBPF = eBPF in hardware☆419Updated 2 years ago
- An ergonomic and safe syscall interception framework for Linux.☆628Updated last week
- Unikernel and immutable infrastructures☆612Updated 3 years ago
- The Xr0 Verifier for C☆178Updated 5 months ago
- Popcorn Linux kernel for distributed thread execution☆163Updated 2 years ago
- The world's worst kernel module☆299Updated 4 years ago
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆235Updated 2 weeks ago
- A UI for eBPF-based performance debugging☆578Updated 2 years ago
- VSCode LLVM Compiler Explorer☆231Updated last year
- A simple educational linux container runtime.☆113Updated 4 years ago
- A mirror of TinyBIOS repository☆311Updated last month
- A dynamic library bundling the guest payload consumed by libkrun☆102Updated last week
- A mini x86-64 assembler for fun and learning.☆221Updated 6 months ago
- A list about Unikernels☆115Updated 2 years ago
- The tiniest chat servers on earth!☆72Updated 3 years ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 6 months ago
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆230Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week
- ☆200Updated 3 years ago
- An open-source Unix operating system☆35Updated this week
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆18Updated 2 years ago
- A component-based OS☆190Updated 7 months ago