uniqernel / awesome-unikernels

Related projects ⓘ

Alternatives and complementary repositories for awesome-unikernels

• kivikakk / daintree
  [non-functional] ARMv8-A/RISC-V kernel (with UEFI bootloader)
  ☆51Updated 3 months ago
• ShobuPrime / ShobuArch
  Automated Arch Linux (Written in Go)
  ☆20Updated 2 months ago
• unikraft / app-elfloader
  Load and execute Linux ELF binaries
  ☆25Updated 3 months ago
• LaszloGombos / awesome-initramfs
  awesome initramfs
  ☆26Updated 3 months ago
• jart / pledge
  OpenBSD APIs ported to Linux userspace using SECCOMP BPF and Landlock LSM
  ☆100Updated last year
• nrdmn / uefi-examples
  UEFI examples in Zig
  ☆61Updated last year
• catern / sfork
  A synchronous, single-threaded interface for starting processes on Linux
  ☆28Updated 3 years ago
• s-d-adams / muxfs
  A mirroring, checksumming, and self-healing filesystem layer for OpenBSD.
  ☆50Updated 2 years ago
• bannsec / cosmosocks
  Socks server written in Cosmopolitan libc
  ☆22Updated 2 years ago
• rvs / planD
  Plan9 from Containerspace
  ☆80Updated 9 months ago
• b0bleet / zvisor
  Zig-based Hypervisor
  ☆133Updated 2 months ago
• arachsys / libelf
  Freestanding libelf extracted from elfutils
  ☆24Updated 3 weeks ago
• Mic92 / zig.ko
  Linux kernel module written in Zig
  ☆95Updated 5 years ago
• dantecatalfamo / zig-dns
  Experimental DNS library implemented in zig
  ☆57Updated 7 months ago
• richiejp / m
  Minimal Zig based Linux init and stuff for kernel testing
  ☆11Updated last year
• unikraft / catalog
  Unikraft Applications & Examples Catalog
  ☆38Updated last week
• vvaltchev / tfblib
  A Tiny Linux Framebuffer Library
  ☆96Updated last year
• oxidecomputer / illumos-gate
  An open-source Unix operating system
  ☆28Updated this week
• ziglibs / zCOM
  A composable network protocol stack for embedded and desktop.
  ☆15Updated 2 years ago
• JonathonReinhart / nosecmem
  Demonstrate ability to read memfd_secret() data from the kernel
  ☆57Updated 10 months ago
• mattnite / zig-bpf-intro
  Introduction to using BPF with Zig
  ☆52Updated 3 years ago
• au-ts / lionsos
  A secure, fast, and adaptable OS based on the seL4 microkernel
  ☆88Updated this week
• FlorenceOS / BED
  Baremetal Embeddable Debugger
  ☆10Updated 2 years ago
• michaelmelanson / wasm-kernel
  Runs WebAssembly binaries on barebones x86-64 systems.
  ☆13Updated 5 years ago
• 1nwf / zcrun
  linux container runtime built with zig
  ☆14Updated 7 months ago
• Luukdegram / juicebox
  Tiled Window Manager written in Zig
  ☆62Updated 3 years ago
• michaelforney / sbase
  Portable UNIX tools (personal repository)
  ☆58Updated 7 months ago
• cyberus-technology / hedron
  The Hedron Microhypervisor
  ☆75Updated last year
• unikraft / pykraft
  Python library for configuring and building unikernels
  ☆177Updated last year
• zyedidia / multiplix
  An operating system kernel for RISC-V and AArch64 SBCs
  ☆126Updated last year