Alternatives and similar repositories for genode

Users that are interested in genode are comparing it to the libraries listed below

• Harvey-OS / harvey
  A distributed operating system
  ☆1,453Updated 3 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆968Updated 3 months ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆295Updated 6 years ago
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆442Updated 2 months ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,169Updated 5 years ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,529Updated last week
• DragonFlyBSD / DragonFlyBSD
  DragonFly BSD System Source Repository (read-only mirror)
  ☆591Updated last week
• openbios / openbios
  First published Open Source implementation of OpenFirmware
  ☆416Updated 5 months ago
• illumos / illumos-gate
  An open-source Unix operating system -- this is a read-only mirror of the official repository at https://code.illumos.org/plugins/gitiles…
  ☆1,820Updated this week
• brho / akaros
  Akaros Operating System
  ☆327Updated 3 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆200Updated 6 months ago
• gwsystems / composite
  A component-based OS
  ☆199Updated this week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆580Updated 3 months ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆860Updated last week
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆398Updated last year
• unikernelLinux / ukl
  Unikernel Linux
  ☆226Updated 5 months ago
• cl91 / NeptuneOS
  Neptune OS: A Windows NT personality for the seL4 microkernel
  ☆423Updated this week
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆641Updated 2 months ago
• seL4 / seL4
  The seL4 microkernel
  ☆5,288Updated last week
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,855Updated this week
• landley / mkroot
  Simple Linux build, bootable under qemu for multiple architectures.
  ☆454Updated last year
• ReturnInfinity / BareMetal-OS
  Build script for BareMetal OS and its related utilities
  ☆801Updated last week
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆157Updated this week
• finit-project / finit
  Fast init for Linux. Cookies included
  ☆697Updated this week
• HardenedBSD / hardenedBSD
  HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus…
  ☆400Updated this week
• JehanneOS / jehanne
  Jehanne Operating System
  ☆289Updated 4 years ago
• sabotage-linux / sabotage
  a radical and experimental distribution based on musl libc and busybox
  ☆565Updated 4 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆100Updated last week
• CTSRD-CHERI / cheribsd
  FreeBSD adapted for CHERI-RISC-V and Arm Morello.
  ☆204Updated this week
• coreboot / seabios
  Read-only mirror of https://git.seabios.org/seabios.git. We don't handle pull requests.
  ☆481Updated 2 weeks ago