uniqernel / awesome-unikernels
Curated list of unikernel resources
☆47Updated 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
- view based o.s.☆39Updated last week
- awesome initramfs☆29Updated last month
- A synchronous, single-threaded interface for starting processes on Linux☆34Updated 3 years ago
- eBPF bytecode assembler and compiler☆20Updated 9 months ago
- A secure, fast, and adaptable OS based on the seL4 microkernel☆126Updated this week
- smolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs☆38Updated 2 months ago
- Ms Thesis @ FEUP☆33Updated 8 months ago
- [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)☆53Updated 8 months ago
- Official mirror of the Muen Separation Kernel repository☆84Updated last week
- OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM☆111Updated last year
- Linux in Unikernel Clothing☆70Updated 3 years ago
- Load and execute Linux ELF binaries☆32Updated last month
- An open-source Unix operating system☆28Updated this week
- Python library for configuring and building unikernels☆178Updated 2 years ago
- Blessed sanctum, save us || Sanctum is a small, reviewable, capable and fully privilege seperated VPN daemon. || This is a read-only mirr…☆47Updated this week
- linux container runtime built with zig☆16Updated last month
- 🗜️ fast r/o squashfs implementation written in C.☆45Updated 2 months ago
- Monolithic Kernel Developed entirely from scratch, supporting the i386 processor☆16Updated this week
- Mocaccino micro flavor. Micro LFS musl-based distro for embedded applications☆15Updated 3 years ago
- OpenBSD unveil(2) like function in Linux using Landlock☆23Updated 2 weeks ago
- A mirroring, checksumming, and self-healing filesystem layer for OpenBSD.☆50Updated 2 years ago
- Idol, an IDL and binary encoding for zero-copy local IPC☆50Updated 5 months ago
- A C11 compiler for the discrete logic computer☆20Updated last year
- Minimalistic hypervisor built on KVM, coded with Zig.☆140Updated 7 months ago
- usand - convenient and minimal unshare(1)-based sandbox☆63Updated 4 years ago
- State of the art for unikernels☆213Updated 11 months ago
- Nitrokey NetHSM system software and firmware☆64Updated 3 weeks ago
- An experimental VMM for KVM written in pure Python☆28Updated last year
- Nomad task driver capable of blocking unwanted syscall and filesystem access. Based on the pledge utility for Linux by Justine Tunney☆22Updated last year
- Introduction to using BPF with Zig☆56Updated 4 years ago