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
• travisg / armemu
  ARM emulator
  ☆48Updated 10 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
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆39Updated 5 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆135Updated 2 years ago
• IanSeyler / minIP
  A minimalist IP stack written in ANSI C.
  ☆53Updated last month
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆50Updated 5 months ago
• quan-na / myjit
  clone from myJIT(a fork of GNU lightning)
  ☆10Updated 10 years ago
• rikusalminen / danjeros
  A hobby operating system. Everyone's gotta have one.
  ☆49Updated 14 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆90Updated 3 months ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆88Updated last year
• 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
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 10 years ago
• ReturnInfinity / BareMetal-lwIP
  A quick port of lwIP running on top of BareMetal.
  ☆144Updated 7 years ago
• lunixbochs / lib43
  portable libc optimized for code size and readability
  ☆81Updated 8 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆68Updated 4 years ago
• gtcasl / qsim
  QEMU based emulation library for micro-architectural simulation (ARM64 and x86)
  ☆43Updated 6 years ago
• mclinker / mclinker
  LLVM Linker for Mobile Computing
  ☆81Updated 9 years ago
• andreiw / tinycc
  My tinycc fork: hopefully, better OSX support, EFI targets, and ???
  ☆34Updated 7 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆81Updated 3 years ago
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• chobits / tinylex
  A tiny lexical analyser generator
  ☆19Updated 13 years ago
• bobrippling / ucc-c-compiler
  A C-implemented C compiler
  ☆92Updated 11 months ago
• aquynh / unidos
  MSDOS emulator built on top of Unicorn engine
  ☆137Updated 9 years ago
• alexfru / EmuMipsElf
  Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)
  ☆18Updated 9 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆34Updated 12 years ago
• intel / base64
  ☆20Updated 9 years ago
• svn2github / bochs
  This is a clone of an SVN repository at http://svn.code.sf.net/p/bochs/code/trunk. It had been cloned by http://svn2github.com/ , but the…
  ☆55Updated 6 years ago