Alternatives and similar repositories for raspi-kernel

Users that are interested in raspi-kernel are comparing it to the libraries listed below

• LdB-ECM / Raspberry-Pi
  My public Baremetal Raspberry Pi code
  ☆321Updated 6 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆290Updated 2 years ago
• PeterLemon / RaspberryPi
  Raspberry Pi Bare Metal Assembly Programming
  ☆456Updated 3 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆211Updated 5 years ago
• rockytriton / LLD
  ☆166Updated 2 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆129Updated 5 years ago
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆603Updated 4 years ago
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆219Updated 6 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆145Updated 3 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆145Updated 4 years ago
• dwelch67 / raspberrypi-zero
  Raspberry Pi Zero baremetal examples
  ☆164Updated 4 years ago
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆167Updated 12 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆229Updated 11 years ago
• jsandler18 / jsandler18.github.io
  ☆131Updated 6 years ago
• ICTeam28 / PiFox
  3D rail shooter written in ARM assembly
  ☆398Updated 7 years ago
• stevej / osdev
  A hobby operating system built mostly from scratch.
  ☆78Updated 12 years ago
• hermanhermitage / videocoreiv
  Tools and information for the Broadcom VideoCore IV (RaspberryPi)
  ☆846Updated 6 years ago
• davxy / beeos
  A simple Unix-like kernel trying to be POSIX compliant
  ☆135Updated 10 months ago
• thethumbler / Aquila
  AquilaOS: UNIX-like Operating System
  ☆486Updated 4 years ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆415Updated 3 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆748Updated last week
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆852Updated last year
• kaneton / appendix-bios
  IBM AT 80286 BIOS
  ☆129Updated 10 years ago
• brenns10 / sos
  Home-made almost operating system
  ☆137Updated 2 years ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆443Updated last year
• mkilgore / protura
  ☆90Updated 3 years ago
• 29jm / SnowflakeOS
  "It is very special"
  ☆320Updated 6 months ago
• qword-os / qword
  Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
  ☆411Updated 4 years ago
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆634Updated 2 months ago
• blanham / liballoc
  liballoc - a memory allocator for hobbyist operating systems
  ☆203Updated 4 years ago