Alternatives and similar repositories for xv6

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

• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆190Updated 2 years ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆459Updated last year
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆89Updated 7 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆69Updated 5 years ago
• littleosbook / aenix
  adams and eriks nix
  ☆121Updated 8 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆197Updated 5 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆137Updated last year
• david50407 / xv6-rpi
  ☆40Updated 10 years ago
• doug65536 / dgos
  Operating System
  ☆135Updated 3 years ago
• Nils-TUD / Escape
  Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.
  ☆200Updated 5 months ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆70Updated 4 years ago
• mkilgore / protura
  ☆91Updated 3 years ago
• chobits / tinyos
  a tiny monolithic kernel
  ☆62Updated 9 years ago
• missimer / x86-64-kernel-boot
  ☆59Updated 3 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆137Updated last year
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆94Updated 8 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆43Updated 10 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆294Updated 6 years ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆223Updated 6 years ago
• ushitora-anqou / aqcc
  Yet another tiny tiny self-hosted C compiler, assembler, linker and standard C library.
  ☆201Updated 6 years ago
• RWTH-OS / eduOS
  A teaching operating system to get a deeper knowledge in the design of system software
  ☆148Updated 8 years ago
• brho / akaros
  Akaros Operating System
  ☆324Updated 3 years ago
• 8l / cc500
  CC500: a tiny self-hosting C compiler
  ☆162Updated 8 years ago
• travisg / newos
  The NewOS Operating System
  ☆229Updated 10 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• brenns10 / sos
  Home-made almost operating system
  ☆144Updated 3 years ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆205Updated 5 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆136Updated 5 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆232Updated 12 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 11 years ago