uniqernel / awesome-unikernelsLinks
Curated list of unikernel resources
☆48Updated 5 years ago
Alternatives and similar repositories for awesome-unikernels
Users that are interested in awesome-unikernels are comparing it to the libraries listed below
Sorting:
- Python library for configuring and building unikernels☆178Updated 2 years ago
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆117Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆142Updated this week
- A list about Unikernels☆115Updated last year
- State of the art for unikernels☆217Updated last year
- view based o.s.☆43Updated 3 weeks ago
- Minimalistic hypervisor built on KVM, coded with Zig.☆145Updated last year
- cpu command in Go, inspired by the Plan 9 cpu command☆260Updated this week
- Build and use highly customized and ultra-lightweight unikernel VMs.☆334Updated last week
- Linux in Unikernel Clothing☆71Updated 3 years ago
- The Xr0 Verifier for C☆178Updated 4 months ago
- smolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs☆69Updated last week
- A FreeBSD jails and bhyve wrapper, which implements a Qubes inspired containerization schema☆195Updated 3 weeks ago
- Load and execute Linux ELF binaries☆39Updated last month
- A dynamic library bundling the guest payload consumed by libkrun☆100Updated last week
- A mirroring, checksumming, and self-healing filesystem layer for OpenBSD.☆49Updated 3 years ago
- A local caching server☆104Updated 2 weeks ago
- An experimental VMM for KVM written in pure Python☆33Updated 2 years ago
- ☆236Updated 8 months ago
- An open-source Unix operating system☆35Updated last week
- Easily create custom OpenBSD installXX.iso images from the official ones☆19Updated 2 years ago
- Minimal Zig based Linux init and stuff for kernel testing☆16Updated last year
- Linux kernel module written in Zig☆112Updated 6 years ago
- HAMMER2 file system for OpenBSD☆74Updated 2 weeks ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- 🗜️ fast r/o squashfs implementation written in C.☆47Updated last month
- tiny but flexible init system and process supervisor☆212Updated this week
- Lunatik is a framework for scripting the Linux kernel with Lua.☆547Updated 2 weeks ago
- Plan9 from Containerspace☆85Updated last year
- Linux kernel module to use UEFI Block IO Protocol devices. Probably not a good idea.☆84Updated 3 years ago