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
• 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
• TUD-OS / seoul
  A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.
  ☆43Updated 3 years ago
• hcyang1012 / ARM_Hypervisor
  ☆19Updated 9 years ago
• francisvm / ld.so
  ld.so implementation in C++1z
  ☆9Updated 7 years ago
• rikusalminen / danjeros
  A hobby operating system. Everyone's gotta have one.
  ☆48Updated 13 years ago
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆33Updated 9 years ago
• intel / base64
  ☆20Updated 9 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 8 years ago
• Prajna / mach
  Mach 3
  ☆47Updated 13 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 weeks ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• 0intro / libelf
  Libelf is a simple library to read ELF files.
  ☆50Updated 3 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• dbittman / seakernel-refactor
  ☆16Updated 4 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated this week
• chobits / tinylex
  A tiny lexical analyser generator
  ☆19Updated 13 years ago
• GaloisInc / minlibc
  ☆57Updated 7 years ago
• TUD-OS / NUL
  NOVA userland
  ☆48Updated 11 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆85Updated last year
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆222Updated 13 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆33Updated 12 years ago
• kesl / khypervisor
  ☆29Updated 9 years ago
• esjeon / musl-clang
  A clang wrapper for musl C library. Pretty hacky, I know.
  ☆34Updated 10 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆79Updated 7 months ago
• balau / arm-sandbox
  Personal sandbox to make quick tests and how-tos for ARM development
  ☆38Updated 5 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 9 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆65Updated 4 years ago
• travisg / armemu
  ARM emulator
  ☆46Updated 9 years ago