Alternatives and similar repositories for minix3

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

• davidgiven / minix2
  Minix 1 and 2, Quick and Dirty editions
  ☆133Updated 8 years ago
• kaneton / appendix-bios
  IBM AT 80286 BIOS
  ☆129Updated 10 years ago
• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆358Updated 7 years ago
• danielbarter / minix_book
  just a copy of the minix book source code. Extracted from https://github.com/minix3/minix 3.1.0
  ☆20Updated 9 years ago
• 0xffea / MINIX3
  MINIX 3 is a free, open-source, operating system designed to be highly reliable, flexible, and secure. http://www.minix3.org
  ☆125Updated 2 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆229Updated 11 years ago
• cirosantilli / jamesmolloy-kernel-development-tutorials
  Source code from http://www.jamesmolloy.co.uk/tutorial_html/index.html with improved build system. Tested on Ubuntu 14.04.
  ☆42Updated 5 years ago
• AxFab / kora-kernel
  Kernel for my operating system KoraOS
  ☆17Updated 10 months ago
• lkundrak / dev86
  C compiler, assembler and linker environment for the production of 8086 executables
  ☆161Updated last year
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆91Updated last week
• rockytriton / LLD
  ☆167Updated 2 years ago
• JasonBrave / PanicOS
  A simple x86 operating system with graphical user space
  ☆63Updated last year
• fysnet / FYSOS
  The FYSOS Operating System
  ☆121Updated last week
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 4 months ago
• openbios / openbios
  First published Open Source implementation of OpenFirmware
  ☆381Updated 9 months ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆443Updated last year
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆180Updated last year
• mausimus / rvcc
  Standalone C compiler for RISC-V and ARM
  ☆87Updated last year
• pisceseyes / bkerndev
  Bran's Kernel Development Tutorial
  ☆11Updated 12 years ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆83Updated 2 weeks ago
• queso-fuego / amateuros
  Github mirror of os dev repo
  ☆67Updated 3 months ago
• exscape / exscapeOS
  A hobby OS written in assembly (nasm) and C. Small, realistic goals.
  ☆56Updated 8 years ago
• kalamangga-net / linux-1.0
  Linux Kernel 1.0
  ☆157Updated 4 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆80Updated 2 years ago
• joeangel / linux-0.0.1
  linux kernel 0.0.1
  ☆84Updated 10 years ago
• brenns10 / sos
  Home-made almost operating system
  ☆138Updated 2 years ago
• ackOS-project / ackOS
  A hobby operating system I've been building. Please refer to the 'rewrite' branch to see the ongoing rewrite.
  ☆87Updated 6 months ago
• Mazin-O3 / Veecom
  Simple Yet Powerful RISC-V Computer
  ☆117Updated 5 months ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 9 years ago