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
  ☆94Updated 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
• travisg / armemu
  ARM emulator
  ☆49Updated 10 years ago
• iankronquist / kernel-of-truth
  A simple kernel written in C and a platform to play with x86_64 extensions
  ☆30Updated 7 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆91Updated 2 years ago
• Hersh500 / cpu
  A simulator for a simple RISC CPU in C
  ☆48Updated 3 years ago
• aligrudi / neatlibc
  A small ARM/X86(-64) libc
  ☆92Updated last month
• TUD-OS / NRE
  NOVA runtime environment (official branch)
  ☆35Updated 4 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 8 years ago
• alexfru / EmuMipsElf
  Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)
  ☆18Updated 10 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆53Updated 6 months ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆82Updated 9 years ago
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆132Updated 5 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆55Updated 3 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 12 years ago
• RabbitVM / rabbit
  Rabbit VM.
  ☆115Updated 6 years ago
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆40Updated 6 years ago
• seL4 / util_libs
  ☆61Updated last week
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• jserv / codezero
  Codezero Microkernel
  ☆111Updated last week
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆35Updated 8 years ago
• metta-systems / metta
  Metta OS
  ☆73Updated last year
• Fedjmike / fcc
  Fedjmike's C Compiler
  ☆136Updated 8 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• jakogut / mlibc
  Minimal C Library
  ☆78Updated 7 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 10 months ago
• haileys / mini64
  64 bit hobby OS
  ☆27Updated 9 years ago