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
  ☆67Updated 4 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆43Updated 7 years ago
• swetland / xv6
  64bit port of xv6
  ☆130Updated 5 years ago
• zhiyihuang / xv6_rpi2_port
  This is an xv6 port on Raspberry Pi 2 and 3
  ☆24Updated 2 years ago
• jimix / k42
  K42 Kernel
  ☆28Updated 13 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• OSPreservProject / oskit
  oskit code from Fluke OS project at University of Utah
  ☆35Updated 2 years ago
• openmach / openmach
  OpenMach operating system
  ☆97Updated 10 years ago
• gurugio / caos
  Calcium OS project for x86_64
  ☆40Updated 7 years ago
• chenshuo / old-minix
  Minix 1.1 to 2.0.4
  ☆52Updated 7 years ago
• songziming / wheel
  A toy operating system, written from scratch.
  ☆31Updated 8 months ago
• david50407 / xv6-rpi
  ☆40Updated 10 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 10 years ago
• drh / cdb
  A Machine-Independent Debugger
  ☆34Updated 9 months ago
• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆181Updated last year
• moneytech / ncc
  a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64
  ☆21Updated last year
• jbush001 / os
  A x86 based kernel and user space environment written in C++.
  ☆60Updated 6 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆81Updated 2 months ago
• mausimus / rvcc
  Standalone C compiler for RISC-V and ARM
  ☆87Updated last year
• houcheng / xv6-armv7
  xv6 porting on armv7 cpu
  ☆21Updated 11 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆54Updated 3 years ago
• leonee / weenix
  ☆36Updated 10 years ago
• chobits / tinyos
  a tiny monolithic kernel
  ☆61Updated 8 years ago
• r1mikey / research-unix-v7
  Research UNIX v7 ported the the Raspberry Pi
  ☆64Updated 2 years ago
• aligrudi / neatlibc
  A small arm/x86(-64) libc
  ☆88Updated last month
• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆52Updated 6 years ago
• richardbraun / x15
  Real-time multiprocessor microkernel
  ☆39Updated 5 years ago
• DoctorWkt / fbcc
  Fabrice Bellard's fbcc C Compiler
  ☆43Updated 5 years ago
• seL4 / util_libs
  ☆59Updated this week