Alternatives and similar repositories for singpolyma-kernel

Users that are interested in singpolyma-kernel are comparing it to the libraries listed below

• dbittman / seakernel
  Modular kernel built for simplicity
  ☆92Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆44Updated 4 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆87Updated last year
• iankronquist / kernel-of-truth
  A simple kernel written in C and a platform to play with x86_64 extensions
  ☆30Updated 7 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆25Updated 9 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆135Updated 2 years ago
• ensc / dietlibc
  Inofficial git-cvs clone of cvs@cvs.fefe.de:/cvs + some changes
  ☆122Updated 6 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆88Updated last month
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆198Updated last week
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆39Updated 5 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆81Updated 3 months ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 3 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆67Updated 4 years ago
• seL4 / util_libs
  ☆59Updated last week
• travisg / armemu
  ARM emulator
  ☆48Updated 9 years ago
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆34Updated 4 years ago
• aligrudi / neatcc
  A small arm/x86(-64) C compiler
  ☆169Updated 2 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• elftoolchain / elftoolchain
  The ELF Tool Chain Project (mirror of SourceForge.Net). Please do not create pull requests here on Github, Please use SourceForge's tick…
  ☆71Updated 2 years ago
• jserv / codezero
  Codezero Microkernel
  ☆109Updated 3 years ago
• metta-systems / metta
  Metta OS
  ☆70Updated 8 months ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆53Updated 3 years ago
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆155Updated 7 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 9 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 9 years ago
• RabbitVM / rabbit
  Rabbit VM.
  ☆107Updated 6 years ago