Alternatives and similar repositories for xv6

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

• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆69Updated 3 years ago
• swetland / xv6
  64bit port of xv6
  ☆130Updated 5 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• chenshuo / old-minix
  Minix 1.1 to 2.0.4
  ☆52Updated 7 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆43Updated 7 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• nullpo-head / xv6-mips
  A MIPS port of xv6
  ☆79Updated 9 years 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
• l4ka / hazelnut
  L4Ka::Hazelnut micro-kernel
  ☆34Updated 9 years ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆181Updated last year
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆88Updated last month
• andrewchambers / cmips
  cmips
  ☆56Updated 10 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 10 years ago
• openmach / openmach
  OpenMach operating system
  ☆97Updated 10 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 9 years ago
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆35Updated 2 years ago
• lkundrak / dev86
  C compiler, assembler and linker environment for the production of 8086 executables
  ☆161Updated last year
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• chobits / tinyos
  a tiny monolithic kernel
  ☆61Updated 8 years ago
• CoderionLabs / exoberry
  An exokernel for the raspberry pi 3.
  ☆80Updated 3 years ago
• david50407 / xv6-rpi
  ☆40Updated 10 years ago
• tiqwab / xv6-x86_64
  xv6 ported to x86_64.
  ☆10Updated 4 years ago
• v7unix / v7unix
  Version 7 Unix for a POSIX world
  ☆97Updated 4 years ago
• davidgiven / minix2
  Minix 1 and 2, Quick and Dirty editions
  ☆132Updated 8 years ago
• aligrudi / neatcc
  A small arm/x86(-64) C compiler
  ☆169Updated 2 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆81Updated 2 months ago
• 8l / scc
  scc - simple C Compiler
  ☆59Updated 8 years ago