Alternatives and similar repositories for pintos:

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

• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 9 years ago
• CorruptedByCPU / Fern-Night
  Suspended until Cyjon refactorization finnish.
  ☆19Updated 6 months ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆18Updated 4 years ago
• sleepy-monax / vtconsole
  🎨 An ansi escape code parser and renderer for hobby operating systems
  ☆44Updated 3 years ago
• lazear / lass
  An x86 assembler that you probably shouldn't use
  ☆22Updated 6 years ago
• eteran / os64
  A minimal example of an x86_64 higher half kernel loaded at the -2GB mark
  ☆41Updated 2 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago
• TomatOrg / TomatOS
  An experimental dotnet based kernel
  ☆39Updated last month
• ibara / libpuffy
  Library to ease porting userland OpenBSD code to Serenity
  ☆15Updated 4 years ago
• christianb93 / ctOS
  ctOS is a bit 32 bit Unix-like operating system that I developed as a toy project
  ☆36Updated 6 years ago
• mkilgore / protura
  ☆88Updated 2 years ago
• GabrielRRussell / KoiOS
  Koi Operating System, Senior Mastery Capstone Project 2020
  ☆24Updated 4 years ago
• AndreVallestero / minimal-efi
  A bare-bones minimal executable application for efi on the x64 platform
  ☆54Updated last year
• osdev0 / nyu-efi
  GNU-EFI fork with fixes and improvements.
  ☆30Updated last month
• rdmsr / tinyvmem
  Implementation of the VMem Resource Allocator
  ☆16Updated last year
• dbittman / seakernel-refactor
  ☆16Updated 3 years ago
• 16Bitt / virtix
  A UNIX-like operating system with an emphasis on simplicity
  ☆36Updated 5 years ago
• DeanoBurrito / smoldtb
  Tiny and portable device tree parser, written in C.
  ☆15Updated 3 weeks ago
• DoctorWkt / fbcc
  Fabrice Bellard's fbcc C Compiler
  ☆40Updated 5 years ago
• ChariotOS / chariot
  The Chariot Operating System
  ☆47Updated 2 years ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• haplesshero13 / lc3tools
  LC3 Simulator, Assembler, and other tools
  ☆24Updated last year
• vincenthouyi / LakeOS
  A L4-like micro-kernel OS written in Rust
  ☆60Updated last year
• EarlGray / dolphinos
  A simple bare-metal shell using x86 assembly in real mode.
  ☆9Updated 10 years ago
• devekar / Bootloader
  A simple bootloader for linux kernel
  ☆23Updated 11 years ago
• levex / levos7
  A UNIX-like hobby kernel, running binutils, dash, GCC and ncurses, with an alright TCP/IP stack.
  ☆64Updated 7 years ago
• RossComputerGuy / stardustos
  A modern Unix inspired operating system
  ☆15Updated 5 years ago
• davmac314 / tosaithe
  Very minimalistic UEFI boot menu / kernel bootloader
  ☆28Updated 4 months ago
• rajesh5310 / SBUnix
  This project involved the development of a x86 64 bit operating system (SBUnix). It was developed in C and Assembly language. System was …
  ☆30Updated 9 years ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 6 years ago