Alternatives and similar repositories for genode:

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

• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆386Updated 2 months ago
• Harvey-OS / harvey
  A distributed operating system
  ☆1,445Updated 2 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆195Updated last year
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆915Updated 3 months ago
• brho / akaros
  Akaros Operating System
  ☆315Updated 2 years ago
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,141Updated 4 years ago
• seL4 / seL4
  The seL4 microkernel
  ☆4,807Updated last week
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆275Updated 5 years ago
• DragonFlyBSD / DragonFlyBSD
  DragonFly BSD System Source Repository (read-only mirror)
  ☆554Updated last week
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,397Updated this week
• seL4 / l4v
  seL4 specification and proofs
  ☆518Updated last week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆557Updated 2 weeks ago
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆391Updated 5 months ago
• 0intro / plan9
  Plan 9 History, from 2002-12-12 to 2015-01-10. A more complete version of this repository is available on https://github.com/plan9foundat…
  ☆860Updated 2 years ago
• unikernelLinux / ukl
  Unikernel Linux
  ☆184Updated last month
• ReturnInfinity / BareMetal-OS
  Build script for BareMetal OS and its related utilities
  ☆690Updated this week
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆561Updated this week
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆657Updated this week
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆112Updated last week
• sabotage-linux / sabotage
  a radical and experimental distribution based on musl libc and busybox
  ☆551Updated last week
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆221Updated 3 years ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,601Updated last week
• cl91 / NeptuneOS
  Neptune OS: A Windows NT personality for the seL4 microkernel
  ☆381Updated this week
• bonzini / qboot
  Minimal x86 firmware for booting Linux kernels
  ☆704Updated 2 years ago
• illumos / illumos-gate
  An open-source Unix operating system
  ☆1,684Updated this week
• JehanneOS / jehanne
  Jehanne Operating System
  ☆284Updated 3 years ago
• rumpkernel / wiki
  Wiki for rump kernels
  ☆461Updated last year
• openbios / openbios
  First published Open Source implementation of OpenFirmware
  ☆366Updated 3 months ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆79Updated last week
• HardenedBSD / hardenedBSD
  HardenedBSD implements strong exploit mitigations and security hardening technologies on top of FreeBSD, with a direct focus on the nexus…
  ☆382Updated this week