Alternatives and similar repositories for osdev

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

• jserv / xv6-x86_64
  re-implementation of UNIX v6 in ANSI C for x86_64 SMP
  ☆181Updated last year
• foreverbell / JOS
  JOS Lab of MIT 6.828: Operating System Engineering.
  ☆17Updated 7 years ago
• NewbiZ / xv6
  Reimplementation in ANSI C of Unix v6 + POSIX compliance + VFS + ulibc + ACPI
  ☆67Updated 4 years ago
• fgken / uefi-bootloader
  UEFI app to load ELF and Raw binary
  ☆29Updated 10 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆69Updated 3 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
• tqyaaaaang / Hyper-OS
  Operating System Simulator
  ☆19Updated 6 years ago
• aclements / sv6
  POSIX-like scalable multicore research OS kernel
  ☆191Updated 5 years ago
• Ihsoh / isystemx86
  This is a multitasking and x86 based operating system.
  ☆40Updated 5 years ago
• twd2 / riscv-osdev
  Hello RISC-V 64!
  ☆17Updated 7 years ago
• rcore-os / rboot
  The x86_64 UEFI bootloader for rCore
  ☆45Updated 2 years ago
• songziming / wheel
  A toy operating system, written from scratch.
  ☆31Updated 9 months ago
• a-darwish / cuteOS
  A 64-bit SMP-safe kernel for the PC architecture.
  ☆87Updated 7 years ago
• swetland / xv6
  64bit port of xv6
  ☆130Updated 5 years ago
• foreverbell / BadAppleOS
  (touhou / 東方) x86 Operating System animating BadApple.
  ☆60Updated last year
• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• travisg / uefi
  uefi app/bootloader development sandbox
  ☆15Updated 9 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• Harry-Chen / TrivialTomasulo
  Tomasulo Simulator written in React as the project for Computer Architecture course, Spring 2019, Tsinghua University
  ☆11Updated 6 years ago
• iosmanthus / Osmanthus-tutorial
  How to create an OS from scratch
  ☆17Updated 7 years ago
• l4ka / pistachio
  L4Ka::Pistachio micro-kernel
  ☆285Updated 5 years ago
• RWTH-OS / eduOS
  A teaching operating system to get a deeper knowledge in the design of system software
  ☆141Updated 8 years ago
• trivialmips / linux-nontrivial-mips
  Linux porting to NonTrivialMIPS (based on linux-stable)
  ☆12Updated 5 years ago
• Prajna / mach
  Mach 3
  ☆51Updated 13 years ago
• hchunhui / compiler
  a mini C-like language(C1) compiler
  ☆36Updated 5 years ago
• wh5a / jos
  An MIT teaching OS
  ☆44Updated 15 years ago
• thanoskoutr / armOS
  Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.
  ☆28Updated 3 years ago
• nebulaeonline / nebulae
  nebulae kernel - stage 0 uefi barebones
  ☆35Updated last year
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆24Updated 9 years ago
• glitchub / arith64
  __udivdi3(), __divdi3(), __umoddi3(), __moddi3(), etc. for embedded GCC
  ☆41Updated last year