Alternatives and similar repositories for mach

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

• openmach / openmach
  OpenMach operating system
  ☆101Updated 11 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆100Updated last week
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆31Updated 10 years ago
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆295Updated 6 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 5 years ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆19Updated 7 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆66Updated 8 years ago
• osdev0 / nyu-efi
  Moved to codeberg: https://codeberg.org/PicoEFI/PicoEFI
  ☆30Updated 5 months ago
• yoppeh / efi-clang
  Build UEFI applications with the Clang compiler and LLD linker.
  ☆67Updated last year
• xenos1984 / NOS
  Operating system project
  ☆32Updated last week
• ChaiSoft / ChaiOS
  Modular multi-platform hobby OS. Hybrid kernel, largely monolithic. Kernel C library is dynamically linked. Chai from Hebrew for "living …
  ☆43Updated last week
• kernkonzept / fiasco
  The development version of the L4Re Microkernel
  ☆157Updated this week
• qemu / seabios
  Mirror of git.qemu.org/seabios.git
  ☆72Updated 2 weeks ago
• Jimx- / lyos
  Yet another cross-platform microkernel operating system, runs on x86/x86_64, arm64 and RISC-V
  ☆75Updated 9 months ago
• justinian / jsix
  A hobby operating system for x86_64, boots with UEFI.
  ☆70Updated 2 months ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆94Updated 8 years ago
• kofemann / opensolaris
  The last official OpenSolaris code with pNFS
  ☆70Updated 11 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆138Updated 3 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆54Updated 10 years ago
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆42Updated 3 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 10 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆32Updated 7 months ago
• travisg / newos
  The NewOS Operating System
  ☆232Updated 10 years ago
• aligrudi / neatlibc
  A small ARM/X86(-64) libc
  ☆92Updated this week
• mariuz / linux-0.01
  compilable linux-0.01
  ☆100Updated 2 months ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago