Alternatives and similar repositories for xinu

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

• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆261Updated 4 years ago
• littleosbook / aenix
  adams and eriks nix
  ☆118Updated 8 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆748Updated this week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆850Updated last year
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆180Updated last year
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,104Updated 4 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆129Updated 5 years ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆634Updated 2 months ago
• lkundrak / dev86
  C compiler, assembler and linker environment for the production of 8086 executables
  ☆161Updated last year
• mit-pdos / xv6-riscv-book
  Text describing xv6 on RISC-V
  ☆737Updated 9 months ago
• sergev / 4.4BSD-Lite2
  4.4BSD Lite Release 2: last Unix operating system from Berkeley
  ☆385Updated 7 years ago
• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆358Updated 7 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆290Updated 2 years ago
• swetland / xv6
  64bit port of xv6
  ☆130Updated 5 years ago
• szhou42 / osdev
  Hobby os project with GUI
  ☆425Updated last year
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆197Updated last year
• cstack / osdev
  Hobby OS
  ☆244Updated 8 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆229Updated 11 years ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆415Updated 3 years ago
• 0intro / plan9
  Plan 9 History, from 2002-12-12 to 2015-01-10. A more complete version of this repository is available on https://github.com/plan9foundat…
  ☆869Updated 3 years ago
• jsandler18 / raspi-kernel
  ☆307Updated 5 years ago
• SamyPesse / devos
  (Very) basic UNIX-like operating system built when I was younger
  ☆546Updated 8 years ago
• lsahn-org / unix-v6
  UNIX 6th Edition Kernel Source Code
  ☆433Updated 6 years ago
• Wilfred / babyc
  A toy C compiler
  ☆524Updated 4 years ago
• arjun024 / mkernel
  A minimalist kernel
  ☆1,342Updated 4 years ago
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆603Updated 4 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆43Updated 7 years ago
• HelenOS / helenos
  A portable microkernel-based multiserver operating system written from scratch.
  ☆1,480Updated last week
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆67Updated 4 years ago