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
  ☆93Updated 8 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆45Updated 4 years ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆23Updated 10 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆90Updated 3 months ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆53Updated 2 months ago
• mclinker / mclinker
  LLVM Linker for Mobile Computing
  ☆81Updated 9 years ago
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆39Updated 5 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆55Updated 3 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 10 years ago
• travisg / armemu
  ARM emulator
  ☆49Updated 10 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• enferex / asrepl
  asrepl: x86-64 assembly REPL
  ☆71Updated 8 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆135Updated 2 years ago
• stephenrkell / libsystrap
  Monitor, rewrite and/or otherwise trap system calls... on Linux/x86{,-64} only, for now.
  ☆62Updated last week
• jserv / codezero
  Codezero Microkernel
  ☆112Updated 3 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 8 years ago
• chobits / tinylex
  A tiny lexical analyser generator
  ☆19Updated 13 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• draperlaboratory / llvm-cbe
  resurrected LLVM "C Backend", with improvements
  ☆130Updated 5 years ago
• jserv / min-dl
  minimal dynamic linker implementation for ELF, supporting x86_64 and Arm/Aarch64
  ☆190Updated 7 years ago
• andrewchambers / cmips
  cmips
  ☆56Updated 11 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆68Updated 4 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 3 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 9 years ago
• erincandescent / elfload
  An ELF loader for embedded systems.
  ☆157Updated 7 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆88Updated last year
• bobrippling / ucc-c-compiler
  A C-implemented C compiler
  ☆92Updated last year
• Granary / granary
  Dynamic binary translation framework for instrumenting the Linux kernel and its modules
  ☆77Updated 7 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 6 months ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago