Alternatives and similar repositories for pintos

Users that are interested in pintos are comparing it to the libraries listed below

• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆37Updated 10 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• amirbawab / EasyCC-CPP
  Easy Compiler Compiler written in C++
  ☆25Updated 8 years ago
• leonee / weenix
  ☆36Updated 11 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 9 years ago
• mycoboco / beluga
  a standard C compiler (with an integrated preprocessor)
  ☆66Updated 9 months ago
• swetland / dcpu16
  Virtual Machine and Assembler for Notch's DCPU-16 Architecture
  ☆223Updated 13 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆93Updated 9 years ago
• corwin-mcknight / Cedille
  A kernel with a purpose - to keep most of the code out of the kernel
  ☆15Updated 6 years ago
• Stichting-MINIX-Research-Foundation / netbsd
  NetBSD reference version for MINIX - Automatically replicated from gerrit.minix3.org
  ☆17Updated 4 years ago
• Arignir / chaos-2
  A hand-made SMP-aware kernel
  ☆18Updated 7 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 4 years ago
• OrangeTide / pcc
  Portable C Compiler (CVS mirror)
  ☆12Updated 13 years ago
• 16Bitt / virtix
  A UNIX-like operating system with an emphasis on simplicity
  ☆38Updated 5 years ago
• michael2012z / Sparrow
  My Operating System.
  ☆81Updated 11 years ago
• rabishah / Mini-C-Compiler-using-Flex-And-Yacc
  A simple mini c compiler
  ☆114Updated 6 years ago
• kingcope / LikeOS
  Tiny Operating System supporting: SVGA gui, Grub bootloader, network subsystem, CDROM drivers.
  ☆34Updated 13 years ago
• iosmanthus / Osmanthus-tutorial
  How to create an OS from scratch
  ☆17Updated 7 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆25Updated 9 years ago
• wh5a / jos
  An MIT teaching OS
  ☆44Updated 15 years ago
• refi64 / libcut
  Easy, flexible C unit testing
  ☆11Updated 9 years ago
• hchunhui / myos
  a unix like OS from scratch
  ☆27Updated 3 years ago
• letolabs / nasm
  Mirror of main nasm git repo at http://repo.or.cz/w/nasm.git
  ☆98Updated 13 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆93Updated 8 years ago
• zhiayang / mx
  Hobby Operating System in C++
  ☆11Updated 6 years ago
• triforce / minos
  A minimal bare bones operating system based on a monolithic kernel design written purely in Assembly language
  ☆23Updated 6 years ago
• machinaut / libos
  library OS, based on xv6, for running go programs on (virtual) bare metal
  ☆12Updated 14 years ago
• thomasloven / os5
  My attempts at developing an operating system kernel.
  ☆11Updated 10 years ago
• jesus-ramos / not-a-good-os
  just a toy operating system for fun
  ☆19Updated 11 years ago
• farlepet / lambda-kern
  Multi-architecture hobby operating system kernel created in C
  ☆16Updated 6 months ago