Alternatives and similar repositories for Raspi3-Kernel

Users that are interested in Raspi3-Kernel are comparing it to the libraries listed below

• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆52Updated 3 years ago
• scyphus / aos
  Academic Operating System (targeting x86-64, multiprocessor)
  ☆13Updated 9 years ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• jtsiomb / pcboot
  Bootable PC demo/game kernel
  ☆50Updated 3 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆93Updated 7 years ago
• RMuskovets / Skeles
  Skeles is a hobby OS with VESA/VBE support and GRUB Multiboot.
  ☆19Updated 5 years ago
• BrianOtto / nasm-uefi
  A UEFI Boot Loader Built in NASM
  ☆44Updated last year
• xenos1984 / NOS
  Operating system project
  ☆33Updated last month
• tiagoporsch / os
  Compilation of my own bootloader, kernel, libc, and userspace programs, all in x86-64
  ☆16Updated 2 years ago
• posnk / posnk
  An operating system project.
  ☆54Updated 2 years ago
• mkilgore / protura
  ☆90Updated 3 years ago
• heatd / Onyx
  UNIX-like operating system written in C and C++
  ☆91Updated last month
• Thynix / osdev
  A hobby operating system built mostly from scratch.
  ☆8Updated 12 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• DoctorWkt / xv6-freebsd
  Ths project adds a FreeBSD libc, other libs and a runtime to the xv6 kernel
  ☆68Updated 3 years ago
• mallardtheduck / osdev
  OS development...
  ☆46Updated last year
• missimer / x86-64-kernel-boot
  ☆58Updated 2 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• novellus / Bare-Metal-Raspberry-Pi-Kernel
  A bare metal kernel for the Raspberry Pi, written in C.
  ☆15Updated 11 years ago
• naegelejd / duneOS
  A simple UNIX-like operating system
  ☆44Updated 9 years ago
• shreyaslad / slate
  a 64 bit x86 operating system
  ☆16Updated 4 years ago
• achernya / iap-6.828-website
  ☆11Updated 11 years ago
• deater / vmwos
  a simple homebrew operating system for the Raspberry Pi
  ☆41Updated last year
• AxFab / kora-kernel
  Kernel for my operating system KoraOS
  ☆17Updated 9 months ago
• thanoskoutr / armOS
  Minimal ARM Operating System for the Raspberry Pi, supporting Aarch32 and Aarch64 architectures.
  ☆28Updated 3 years ago
• madd-games / glidix
  A POSIX-compliant but modernized, graphical operating system for x86_64.
  ☆76Updated 6 months ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆24Updated 9 years ago
• beevik / MonkOS
  an experimental 64-bit operating system
  ☆136Updated 5 months ago
• pdumais / OperatingSystem
  my homebrew OS
  ☆33Updated 4 years ago