uniqernel / awesome-unikernelsLinks
Curated list of unikernel resources
☆51Updated 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☆126Updated 2 years ago
- State of the art for unikernels☆221Updated last year
- A secure, fast, and adaptable OS based on the seL4 microkernel☆202Updated last week
- Minimalistic hypervisor built on KVM, coded with Zig.☆148Updated last year
- Official mirror of the Muen Separation Kernel repository☆91Updated last week
- Blessed sanctum, save us || Sanctum is a small, reviewable, capable, pq-secure and fully privilege seperated VPN daemon. || This is a rea…☆84Updated 2 weeks ago
- view based o.s.☆46Updated 2 months ago
- KernelScript is a modern, type-safe, domain-specific programming language for eBPF-centric kernel customization☆281Updated 2 months ago
- A FreeBSD jails and bhyve wrapper, which implements a Qubes inspired containerization schema☆199Updated 2 weeks ago
- Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions☆185Updated 10 months ago
- cpu command in Go, inspired by the Plan 9 cpu command☆334Updated last month
- smolBSD is a tiny BSD UNIX (NetBSD) system creation tool, primarily aimed at building modern, lightweight, fast micro VMs☆486Updated 3 weeks ago
- Linux in Unikernel Clothing☆71Updated 4 years ago
- ☆243Updated 3 months ago
- A list about Unikernels☆116Updated 2 years ago
- An operating system kernel for RISC-V and AArch64 SBCs☆139Updated 2 years ago
- Build and use highly customized and ultra-lightweight unikernel VMs.☆360Updated this week
- The Xr0 Verifier for C☆179Updated 8 months ago
- Load and execute Linux ELF binaries☆48Updated 3 weeks ago
- NOVA Microhypervisor☆438Updated 3 weeks ago
- A fully automated, custom CPU and software stack for tiny embedded systems☆68Updated 2 months ago
- Unikraft Applications & Examples Catalog☆72Updated 2 weeks ago
- A mirroring, checksumming, and self-healing filesystem layer for OpenBSD.☆48Updated 3 years ago
- UEFI examples in Zig☆76Updated 2 years ago
- Community developed and maintained version of the OS/Net consolidation☆199Updated last week
- Linux kernel module written in Zig☆115Updated 6 years ago
- A local caching server☆109Updated last week
- An open-source Unix operating system☆44Updated last week
- tiny but flexible init system and process supervisor☆347Updated last week