Alternatives and similar repositories for rpi-kernel:

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

• novellus / Bare-Metal-Raspberry-Pi-Kernel
  A bare metal kernel for the Raspberry Pi, written in C.
  ☆15Updated 10 years ago
• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆142Updated 4 years ago
• dwelch67 / rpigpu
  Raspberry Pi GPU based bare metal example programs
  ☆107Updated 12 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆142Updated 3 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆209Updated 5 years ago
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆164Updated 12 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• ICTeam28 / PiFox
  3D rail shooter written in ARM assembly
  ☆395Updated 7 years ago
• rsta2 / circle64
  Deprecated project, use https://github.com/rsta2/circle instead!
  ☆53Updated 6 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆287Updated 2 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• PeterLemon / RaspberryPi
  Raspberry Pi Bare Metal Assembly Programming
  ☆455Updated 3 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 5 years ago
• mpod / raspi-bare-metal
  A "bare metal" raycasting experiment for Raspberry Pi and QEMU.
  ☆33Updated 10 years ago
• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆140Updated 3 years ago
• shawnanastasio / ShawnOS
  A Basic x86 Operating System/Kernel
  ☆47Updated 6 years ago
• ReturnInfinity / BMFS
  Utility for accessing a disk formatted with BMFS
  ☆52Updated 2 months ago
• phire / hackdriver
  A hacky userspace v3d driver for the raspberry pi.
  ☆47Updated 10 years ago
• madd-games / glidix
  A POSIX-compliant but modernized, graphical operating system for x86_64.
  ☆75Updated 4 months ago
• LizardLad / Raspi3-Kernel
  A fairly simple Raspberry pi 3 kenel
  ☆20Updated 5 years ago
• dwelch67 / raspberrypi-zero
  Raspberry Pi Zero baremetal examples
  ☆157Updated 4 years ago
• hermanhermitage / videocoreiv-qpu
  Fun and Games with the Videocoreiv Quad Processor Units
  ☆247Updated 8 years ago
• mrvn / RaspberryPi-baremetal
  Baremetal exampels for Raspberry Pis
  ☆31Updated 9 years ago
• miselin / pedigree
  The Pedigree Operating System
  ☆52Updated last year
• maazl / vc4asm
  Macro assembler for Broadcom VideoCore IV aka Raspberry Pi GPU
  ☆66Updated 8 months ago
• tatimmer / tatOS
  tatOS operating system, x86 Assembly, usb UHCI & EHCI, flash drive, keyboard, mouse
  ☆32Updated 8 years ago
• doug65536 / dgos
  Operating System
  ☆132Updated 2 years ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• shacharr / videocoreiv-qpu-driver
  QPU driver from raspberry pi ARM core
  ☆17Updated 11 years ago
• gberthou / AdvanceOS
  Tiny Operating System to emulate GBA on Raspberry Pi
  ☆49Updated 3 years ago