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'…☆118Updated 4 years ago
- Linux system calls.☆216Updated 5 years ago
- A binary-compatible unikernel☆395Updated 11 months ago
- Linux in Unikernel Clothing☆71Updated 3 years ago
- Unikernel and immutable infrastructures☆612Updated 3 years ago
- Unikernel Linux☆207Updated this week
- hBPF = eBPF in hardware☆418Updated 2 years ago
- xv6 OS☆240Updated 2 weeks ago
- Popcorn Linux kernel for distributed thread execution☆163Updated 2 years ago
- The Xr0 Verifier for C☆178Updated 3 months ago
- A mini x86-64 assembler for fun and learning.☆219Updated 4 months ago
- A mirror of TinyBIOS repository☆311Updated 3 weeks ago
- 539kernel is a simple x86 32bit educational kernel which has been written especially for the book "A Journey in Creating an Operating Sys…☆229Updated last year
- Tiny C++ boot loader☆81Updated 2 years ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆139Updated this week
- An experiment in controlling the size of a thread pool using a PID controller.☆118Updated last year
- A static analysis file format checker.☆240Updated 5 years ago
- Emulador Genérico do Gabriel☆85Updated last month
- LD_PRELOADable library for exploring the glibc heap☆107Updated 5 months ago
- VSCode LLVM Compiler Explorer☆230Updated last year
- ☆186Updated 3 years ago
- A UI for eBPF-based performance debugging☆578Updated 2 years ago
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-Centric kernel customization☆199Updated this week
- Build and use highly customized and ultra-lightweight unikernel VMs.☆323Updated this week
- A component-based OS☆190Updated 5 months ago
- Yet Another Compiler Visualizer☆159Updated 3 years ago
- An ergonomic and safe syscall interception framework for Linux.☆613Updated this week
- HermitCore: A C-based, lightweight unikernel☆226Updated 3 years ago