Alternatives and similar repositories for xinu:

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

• swetland / xv6
  64bit port of xv6
  ☆128Updated 5 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆180Updated last year
• pykello / arunos
  A simple operating system for ARM processors
  ☆127Updated 5 years ago
• mit-pdos / xv6-book
  Commentary for xv6-public
  ☆257Updated 4 years ago
• littleosbook / aenix
  adams and eriks nix
  ☆117Updated 8 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆197Updated last year
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆66Updated 4 years ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆842Updated last year
• david50407 / xv6-rpi
  ☆40Updated 9 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆726Updated last week
• rswier / swieros
  A tiny hand crafted CPU emulator, C compiler, and Operating System
  ☆1,090Updated 4 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆68Updated 3 years ago
• nlsandler / nqcc
  A compiler for a tiny (but growing!) subset of C, written in OCaml.
  ☆289Updated 2 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆92Updated 7 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆135Updated 9 months ago
• jserv / unix-v1
  Restoration of 1st Edition UNIX kernel sources from Bell Laboratories
  ☆255Updated last month
• gdevic / minix1
  Original Minix 1 sources from the book "Operating Systems: Design and Implementation" 1st ed.
  ☆357Updated 7 years ago
• SamyPesse / devos
  (Very) basic UNIX-like operating system built when I was younger
  ☆544Updated 8 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• jarrocha / XinuBBB
  Source and guide to run Xinu on the BeagleBone Black
  ☆49Updated 2 years ago
• sergev / 4.4BSD-Lite2
  4.4BSD Lite Release 2: last Unix operating system from Berkeley
  ☆379Updated 7 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆144Updated 4 years ago
• travisg / newos
  The NewOS Operating System
  ☆208Updated 9 years ago
• brho / akaros
  Akaros Operating System
  ☆317Updated 3 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆211Updated 5 years ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆627Updated 3 weeks ago
• Wilfred / babyc
  A toy C compiler
  ☆522Updated 4 years ago
• BarrelfishOS / barrelfish
  Mirror of the official Barrelfish OS repository.
  ☆194Updated 2 years ago
• RWTH-OS / eduOS
  A teaching operating system to get a deeper knowledge in the design of system software
  ☆140Updated 7 years ago