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
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆85Updated last year
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆48Updated 2 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆81Updated 5 months ago
• S2E / libtcg
  Tiny Code Generator Library
  ☆46Updated 4 years ago
• chillancezen / ZeldaOS.x86_64
  64bit bare metal hypervisor built from scratch with Intel VT-x
  ☆91Updated 4 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• shinh / tel_ldr
  Tiny ELF loader
  ☆133Updated 2 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 8 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆222Updated 12 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 9 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
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• travisg / armemu
  ARM emulator
  ☆46Updated 9 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 8 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• jserv / jit-construct
  JIT compiler from scratch, derived from Nick Desaulniers' great work
  ☆44Updated 4 years ago
• kaworu / JamesM
  me going through JamesM's kernel development tutorials
  ☆41Updated 5 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
• aligrudi / neatcc
  A small arm/x86(-64) C compiler
  ☆164Updated last year
• dbittman / seakernel-refactor
  ☆16Updated 4 years ago
• qemu / seabios
  Mirror of git.qemu.org/seabios.git
  ☆63Updated last month
• chobits / tinylex
  A tiny lexical analyser generator
  ☆19Updated 13 years ago
• francisvm / ld.so
  ld.so implementation in C++1z
  ☆9Updated 7 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆24Updated 9 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 2 weeks ago
• missimer / x86-64-kernel-boot
  ☆58Updated 2 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago