seeker89 / unikernels
State of the art for unikernels
☆210Updated 6 months ago
Related projects ⓘ
Alternatives and complementary repositories for unikernels
- 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☆177Updated last year
- A virtual machine monitor and a tiny "operating system" to go with it. When you start Sparkler, it creates a virtual machine using Linux'…☆116Updated 3 years ago
- Linux in Unikernel Clothing☆67Updated 3 years ago
- xv6 OS☆235Updated last month
- Linux system calls.☆213Updated 5 years ago
- A binary-compatible unikernel☆391Updated 3 months ago
- Unikernel Linux☆179Updated this week
- A specialized hypervisor for Hermit.☆256Updated this week
- Yet Another Compiler Visualizer☆157Updated 3 years ago
- hBPF = eBPF in hardware☆402Updated last year
- Manticore is a research operating system, written in Rust.☆289Updated 11 months ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆238Updated this week
- A mirror of TinyBIOS repository☆305Updated this week
- ☆594Updated last week
- Popcorn Linux kernel for distributed thread execution☆156Updated last year
- A dynamic library bundling the guest payload consumed by libkrun☆81Updated 2 weeks ago
- Unikernel and immutable infrastructures☆596Updated 2 years ago
- Tiny C++ boot loader☆80Updated last year
- A UI for eBPF-based performance debugging☆558Updated 2 years ago
- A simple C coroutine library.☆226Updated 9 months ago
- Virtual machine's guest memory crate☆312Updated last week
- A component-based OS☆186Updated 2 months ago
- RISC-V hypervisor written in Rust☆349Updated 4 years ago
- virtio implementation☆372Updated 3 weeks ago
- A x86_64 Linux debugger 🐛🐛🐛☆230Updated 9 months ago
- HermitCore: A C-based, lightweight unikernel☆220Updated 3 years ago
- A mini x86-64 assembler for fun and learning.☆203Updated 3 years ago
- Minimal linux container runtime☆447Updated 3 years ago
- An ergonomic and safe syscall interception framework for Linux.☆563Updated this week