Alternatives and similar repositories for GNUMach_SMP:

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

• remysaissy / examour-exokernel
  Exokernel for IA32 architectures with a segmented memory managment model and user level only drivers.
  ☆22Updated 9 years ago
• genodelabs / genode-world
  Collection of community-maintained components for Genode
  ☆46Updated last week
• X547 / Haiku-riscv
  Haiku port to RISC-V architecture
  ☆22Updated 3 years ago
• dm0- / hurd-rump-audio
  PulseAudio-compatible rump kernel translator for GNU Hurd
  ☆13Updated 7 years ago
• j-core / jcore-soc
  J-Core SoC Base Platfrom. Top level for FPGA platforms, pulls in CPU, BootROM and various IP blocks.
  ☆22Updated 4 years ago
• KnightOS / kcc
  KnightOS C compiler
  ☆24Updated 4 years ago
• wrmlab / wrmos
  RTOS based on L4 microkernel.
  ☆17Updated 6 years ago
• neozeed / xMach
  xMach (Mach4+Lites) cloned from Sourceforge CVS
  ☆19Updated 7 months ago
• afonsotrepa / LOS-64
  Small LISP-1 OS for x86-64 written in C, asm and Common Lisp
  ☆11Updated 7 years ago
• andreiw / polaris
  Solaris/PPC
  ☆20Updated 10 years ago
• devzendo / transputer-emulator
  This is a portable, open source emulator of the 32-bit Inmos T414/T800/T801/T805 Transputer family, and a host/file I/O Server that inter…
  ☆17Updated 6 months ago
• capros-os / capros
  CapROS is an experimental operating system based on object-capabilities, derived from EROS, KeyKOS, and Gnosis. Ports exist for the Intel…
  ☆51Updated 2 years ago
• tribblix / tribblix-build
  Tribblix build scripts
  ☆20Updated last week
• genodelabs / genodians.org
  Website for stories around the Genode operating system
  ☆17Updated 2 weeks ago
• openbios / fcode-utils
  A set of utilities to process FCODE, OpenFirmware's byte code
  ☆33Updated this week
• PDP-10 / Snyder-C-compiler
  Alan Snyder's portable C Compiler
  ☆15Updated 6 years ago
• repk / sporc
  Sparc emulator
  ☆10Updated 6 years ago
• KolibriOS / cminusminus
  C-- compiler upstream
  ☆38Updated 4 years ago
• HelenOS / harbours
  Ported software for HelenOS.
  ☆21Updated 11 months ago
• concurrency / kroc
  The Kent Retargetable occam Compiler
  ☆45Updated 3 years ago
• technoblogy / ulisp-riscv
  A version of the Lisp programming language for RISC-V based boards.
  ☆28Updated 2 months ago
• bsdimp / 2.11bsd
  BSD 2.11, as patched
  ☆20Updated 3 years ago
• akat1 / impala
  Homemade UNIX-like operating system
  ☆13Updated last year
• modula3 / pm3
  ☆24Updated 10 years ago
• Ravenports / ravensource
  The sources to compile Ravenports buildsheets
  ☆18Updated this week
• ibara / O
  Peephole optimizer for cproc and QBE
  ☆25Updated 2 years ago
• borb / tripos
  Historical sources for the TRIvial Operating System
  ☆39Updated 5 years ago
• chmeeedalf / gecko-dev
  POWER-targeted JIT fork of Mozilla.
  ☆11Updated 2 years ago
• openbios / openboot
  Sun's OpenBoot implementation of OpenFirmware
  ☆52Updated 9 years ago
• EtchedPixels / L9X
  A Level 9 game engine in very little memory
  ☆11Updated 6 years ago