genodelabs / genode

Related projects ⓘ

Alternatives and complementary repositories for genode

• Harvey-OS / harvey
  A distributed operating system
  ☆1,444Updated 2 years ago
• Solo5 / solo5
  A sandboxed execution environment for unikernels
  ☆905Updated 3 weeks ago
• udosteinberg / NOVA
  NOVA Microhypervisor
  ☆379Updated last week
• rumpkernel / rumprun
  The Rumprun unikernel and toolchain for various platforms
  ☆1,138Updated 4 years ago
• DragonFlyBSD / DragonFlyBSD
  DragonFly BSD System Source Repository (read-only mirror)
  ☆551Updated last week
• illumos / illumos-gate
  An open-source Unix operating system
  ☆1,644Updated last week
• brho / akaros
  Akaros Operating System
  ☆314Updated 2 years ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,369Updated this week
• ReturnInfinity / Pure64
  Pure64 is a kernel/software loader for x86-64 systems.
  ☆554Updated last week
• ReturnInfinity / BareMetal-OS
  Build script for BareMetal OS and its related utilities
  ☆456Updated 3 weeks ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆561Updated last month
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆273Updated 5 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆192Updated last year
• ssrg-vt / hermitux
  A binary-compatible unikernel
  ☆391Updated 2 months ago
• letoram / arcan
  Arcan - [Display Server, Multimedia Framework, Game Engine] -> "Desktop Engine"
  ☆1,543Updated last week
• hermit-os / libhermit
  HermitCore: A C-based, lightweight unikernel
  ☆220Updated 3 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆619Updated last week
• oreboot / oreboot
  oreboot is a fork of coreboot, with C removed, written in Rust.
  ☆1,591Updated 2 weeks 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…
  ☆859Updated 2 years ago
• brho / plan9
  UC Berkeley release of Plan 9 under the GPLv2
  ☆679Updated 4 years ago
• troglobit / finit
  Fast init for Linux. Cookies included
  ☆633Updated last week
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,555Updated last week
• JehanneOS / jehanne
  Jehanne Operating System
  ☆283Updated 2 years ago
• siemens / jailhouse
  Linux-based partitioning hypervisor
  ☆1,751Updated 5 months ago
• travisg / newos
  The NewOS Operating System
  ☆202Updated 8 years ago
• mntmn / interim
  The Interim Operating System
  ☆1,250Updated 3 years ago
• cl91 / NeptuneOS
  Neptune OS: A Windows NT personality for the seL4 microkernel
  ☆374Updated 2 weeks ago
• codyd51 / axle
  Message-passing kernel + userspace
  ☆624Updated 6 months ago
• 9fans / plan9port
  Plan 9 from User Space
  ☆1,638Updated 3 weeks ago
• managarm / managarm
  Pragmatic microkernel-based OS with fully asynchronous I/O
  ☆1,586Updated this week