Alternatives and similar repositories for xv6-x86_64

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

• vibhorvatsa / xv6-networking-stack
  A network stack implementation for xv6 OS
  ☆34Updated 6 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
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 7 years ago
• grahamedgecombe / arc
  A toy x86-64 kernel.
  ☆52Updated 10 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆67Updated 4 years ago
• kiznit / rainbow-os
  Rainbow OS
  ☆57Updated 5 months ago
• zaalang / zaos
  x64 hobby os
  ☆12Updated this week
• sudharson14 / xv6-OS-for-arm-v8
  OS support for 64 bit ARM architecture
  ☆52Updated 6 years ago
• alnyan / ygg-kernel-amd64
  [mirror] Yggdrasil kernel - x86-64 Unix-like kernel
  ☆13Updated 4 years ago
• dank101 / 4.3BSD-Reno
  The source of the BSD version moving to POSIX complacence
  ☆12Updated 10 years ago
• aar10n / osdev
  64-bit UNIX hobby operating system with a UEFI bootloader
  ☆83Updated this week
• openmach / openmach
  OpenMach operating system
  ☆97Updated 10 years ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• david50407 / xv6-rpi
  ☆40Updated 10 years ago
• mariuz / linux-0.01
  compilable linux-0.01
  ☆85Updated 2 years ago
• chenshuo / old-minix
  Minix 1.1 to 2.0.4
  ☆52Updated 7 years ago
• mfld-fr / emu86
  Intel IA16 emulator for embedded development
  ☆43Updated 5 months ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 9 years ago
• thanoskoutr / armOS
  Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.
  ☆28Updated 3 years ago
• fysnet / FYSOS
  The FYSOS Operating System
  ☆121Updated 3 weeks ago
• AdeRegt / SanderOSUSB
  32 bit singletasking C kernel
  ☆65Updated 3 years ago
• aegiryy / fryy
  A tiny operating system running on 8086
  ☆41Updated 10 years ago
• lazear / ext2-boot
  Open source ext2/ELF32 bootloader
  ☆16Updated 7 years ago
• ringgaard / sanos
  Sanos operating system kernel
  ☆74Updated 4 years ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆54Updated 3 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 3 years ago
• kernkonzept / l4re-core
  The core components of the L4Re operating system.
  ☆90Updated this week
• MaoKo / Unix-Like
  An educational Unix-Like Os. Try to mimic the first Unix implementation, back in the old day.
  ☆12Updated 7 months ago
• moneytech / ncc
  a 64-bit C compiler (and preprocessor, assembler, linker, etc.) for AMD64
  ☆21Updated last year