seeker89 / unikernelsLinks
State of the art for unikernels
☆220Updated 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 4 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
- A binary-compatible unikernel☆398Updated last year
- Linux in Unikernel Clothing☆72Updated 3 years ago
- Linux system calls.☆216Updated 5 years ago
- hBPF = eBPF in hardware☆420Updated 2 years ago
- Unikernel and immutable infrastructures☆613Updated 3 years ago
- Unikernel Linux☆218Updated last month
- xv6 OS☆246Updated 2 weeks ago
- The Xr0 Verifier for C☆178Updated 5 months 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☆271Updated this week
- Popcorn Linux kernel for distributed thread execution☆167Updated 2 years ago
- A mini x86-64 assembler for fun and learning.☆221Updated 6 months ago
- A list about Unikernels☆115Updated 2 years ago
- LD_PRELOADable library for exploring the glibc heap☆107Updated 7 months ago
- A mirror of TinyBIOS repository☆313Updated 2 months ago
- Wasp: micro-hypervisor that enables lightweight, isolated virtines☆18Updated 2 years ago
- Fleur implements a Bloom Filter library in C that is fully compatible with DCSO's Go and python implementations.☆117Updated 2 years ago
- A simple C coroutine library.☆227Updated last year
- VSCode LLVM Compiler Explorer☆232Updated last year
- A FUSE-based fault injection filesystem.☆180Updated last year
- Build and use highly customized and ultra-lightweight unikernel VMs.☆342Updated this week
- Curated list of unikernel resources☆49Updated 5 years ago
- ☆236Updated last year
- Stream-based visual programming language for systems observability☆64Updated 3 years 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
- Tiny C++ boot loader☆82Updated 2 years ago
- Unikraft Applications & Examples Catalog☆66Updated last month