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
  ☆327Updated 6 years ago
• rockytriton / LLD
  ☆177Updated 2 years ago
• BrianSidebotham / arm-tutorial-rpi
  Raspberry-Pi Bare Metal Programming in C Tutorial
  ☆612Updated 5 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆294Updated 2 years ago
• dwelch67 / raspberrypi-zero
  Raspberry Pi Zero baremetal examples
  ☆170Updated 4 years ago
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆167Updated 12 years ago
• PeterLemon / RaspberryPi
  Raspberry Pi Bare Metal Assembly Programming
  ☆465Updated 4 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆210Updated 5 years ago
• jsandler18 / jsandler18.github.io
  ☆131Updated 6 years ago
• pykello / arunos
  A simple operating system for ARM processors
  ☆136Updated 5 years ago
• Chadderz121 / bakingpi-www
  Website for Baking Pi: Operating Systems Development tutorial (Raspberry Pi)
  ☆422Updated 4 years ago
• brenns10 / sos
  Home-made almost operating system
  ☆144Updated 3 years ago
• jserv / mini-arm-os
  Build a minimal multi-tasking OS kernel for ARM from scratch
  ☆1,185Updated 2 weeks ago
• rhythm16 / rpi4-bare-metal
  an operating system for the Raspberry Pi 4B in the making
  ☆62Updated last year
• pdoane / osdev
  Hobby OS project for learning more about low-level hardware (GPUs, networking, USB)
  ☆223Updated 6 years ago
• ICTeam28 / PiFox
  3D rail shooter written in ARM assembly
  ☆400Updated 7 years ago
• xinu-os / xinu
  Repository for Xinu source code
  ☆459Updated last year
• maxdev1 / ghost
  Ghost, a micro-kernel based hobby operating system.
  ☆640Updated last month
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆147Updated 3 years ago
• levex / osdev
  Fourth rewrite of LevOS, aiming for POSIX compliance.
  ☆232Updated 12 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 11 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆146Updated 5 years ago
• dthain / basekernel
  A simple OS kernel for research, teaching, and fun.
  ☆891Updated last year
• ghaiklor / ghaiklor-os-gcc
  Simple operating system with its own bootloader, drivers for screen and keyboard, libc (for educational purposes)
  ☆122Updated 9 years ago
• mkilgore / protura
  ☆91Updated 3 years ago
• superzazu / 8080
  A complete emulation of the Intel 8080 processor written in C99.
  ☆174Updated 3 years ago
• RobbeDGreef / yanix
  Yanix is a UNIX-like kernel / operating system build completely from scratch
  ☆87Updated 3 years ago
• david50407 / xv6-rpi
  ☆40Updated 10 years ago
• eggman / raspberrypi
  Raspberry Pi bare metal code for qemu raspi2 and raspi3.
  ☆55Updated 4 years ago
• ReturnInfinity / BareMetal
  A very minimal, resource efficient exo-kernel
  ☆807Updated 3 weeks ago