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
  ☆91Updated 7 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆51Updated 3 years ago
• TUD-OS / libelkvm
  A library that allows execution of an ELF binary inside a virtual machine without a full-scale operating system
  ☆22Updated 10 years ago
• travisg / armemu
  ARM emulator
  ☆46Updated 9 years ago
• jimix / k42
  K42 Kernel
  ☆27Updated 12 years ago
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆81Updated last month
• Prajna / mach
  Mach 3
  ☆49Updated 13 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…
  ☆70Updated last year
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 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
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• alexfru / EmuMipsElf
  Simple MIPS32 Emulator (primarily used to run SmallerC compiled for MIPS)
  ☆17Updated 9 years ago
• francisvm / ld.so
  ld.so implementation in C++1z
  ☆9Updated 7 years ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 8 years ago
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆38Updated 5 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆66Updated 4 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• astocko / json-x86-64
  x86-64 Intel instruction set in JSON format
  ☆49Updated 8 years ago
• jserv / codezero
  Codezero Microkernel
  ☆108Updated 3 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆85Updated last year
• wt / coreboot
  My coreboot work
  ☆23Updated 14 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• dbittman / seakernel-refactor
  ☆16Updated 4 years ago
• SCSLaboratory / BearOS
  The Bear Operating System
  ☆24Updated 7 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• dibyendumajumdar / dmr_c
  dmr_C is a C parser and JIT compiler with LLVM, Eclipse OMR and NanoJIT backends
  ☆53Updated 5 years ago