Alternatives and similar repositories for xv6-freebsd

Users that are interested in xv6-freebsd are comparing it to the libraries listed below

• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆68Updated 4 years ago
• swetland / xv6
  64bit port of xv6
  ☆131Updated 5 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆43Updated 7 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 10 years ago
• chenshuo / old-minix
  Minix 1.1 to 2.0.4
  ☆52Updated 7 years ago
• jbush001 / os
  A x86 based kernel and user space environment written in C++.
  ☆60Updated 6 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆184Updated 2 years ago
• openmach / openmach
  OpenMach operating system
  ☆98Updated 10 years ago
• DoctorWkt / fbcc
  Fabrice Bellard's fbcc C Compiler
  ☆43Updated 6 years ago
• Alhadis / Research-Unix-v10
  Source code of Research Unix v10, released by The Unix Heritage Society.
  ☆43Updated 6 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 5 years ago
• jimix / k42
  K42 Kernel
  ☆29Updated 13 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆89Updated 2 months ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆444Updated last year
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• zhiyihuang / xv6_rpi2_port
  This is an xv6 port on Raspberry Pi 2 and 3
  ☆24Updated 3 years ago
• aryx / fork-kencc
  DEPRECATED pad's first fork of ken thompson plan9 C compilers https://code.google.com/p/ken-cc/
  ☆32Updated last month
• leonee / weenix
  ☆36Updated 10 years ago
• 0intro / 9hist
  History of the Plan 9 kernel (1990 - 2003).
  ☆135Updated 3 years ago
• 8l / scc
  scc - simple C Compiler
  ☆59Updated 8 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆87Updated last year
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆35Updated 2 years ago
• DoctorWkt / unix-jun72
  The working source code to PDP-11 Unix from 1972.
  ☆112Updated 10 years ago
• OSPreservProject / sprite
  The sprite operating system
  ☆55Updated 9 years ago
• brenns10 / sos
  Home-made almost operating system
  ☆140Updated 2 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆54Updated 3 years ago
• michaelengel / xv6-d1
  Port of MIT's xv6 OS to the Nezha RISC-V board with Allwinner D1 SoC
  ☆105Updated 2 years ago
• david50407 / xv6-rpi
  ☆40Updated 10 years ago