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 11 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
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 10 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆211Updated 5 years ago
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆167Updated 12 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• dwelch67 / rpigpu
  Raspberry Pi GPU based bare metal example programs
  ☆110Updated 12 years ago
• phire / hackdriver
  A hacky userspace v3d driver for the raspberry pi.
  ☆47Updated 10 years ago
• rsta2 / circle64
  Deprecated project, use https://github.com/rsta2/circle instead!
  ☆53Updated 6 years ago
• mpod / raspi-bare-metal
  A "bare metal" raycasting experiment for Raspberry Pi and QEMU.
  ☆33Updated 10 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆290Updated 2 years ago
• ICTeam28 / PiFox
  3D rail shooter written in ARM assembly
  ☆398Updated 7 years ago
• xomboverlord / xomb-bare-bones
  This is a minimal x86 OS written in D with both 32 bit and 64 bit configurations. It's a good starting place for anyone doing D OS develo…
  ☆39Updated 16 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆41Updated 6 years ago
• madd-games / glidix
  A POSIX-compliant but modernized, graphical operating system for x86_64.
  ☆76Updated 7 months ago
• thepowersgang / acess2
  Acess2 Hobby Operating System
  ☆86Updated last year
• mrvn / RaspberryPi-baremetal
  Baremetal exampels for Raspberry Pis
  ☆31Updated 10 years ago
• jmolloy / pedigree
  Pedigree operating system
  ☆90Updated 9 years ago
• LizardLad / Raspi3-Kernel
  A fairly simple Raspberry pi 3 kenel
  ☆20Updated 5 years ago
• IanSeyler / rustboot64
  A tiny 64 bit kernel written in Rust
  ☆51Updated 9 years ago
• PeterLemon / RaspberryPi
  Raspberry Pi Bare Metal Assembly Programming
  ☆456Updated 3 years ago
• dbittman / seakernel
  Modular kernel built for simplicity
  ☆92Updated 7 years ago
• hermanhermitage / videocoreiv-qpu
  Fun and Games with the Videocoreiv Quad Processor Units
  ☆251Updated 9 years ago
• Enerccio / Cthulhu-OS
  x86-64 SMP enabled microkernel hobbyist OS
  ☆24Updated 9 years ago
• doug65536 / dgos
  Operating System
  ☆133Updated 3 years ago
• maazl / vc4asm
  Macro assembler for Broadcom VideoCore IV aka Raspberry Pi GPU
  ☆66Updated 11 months ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆68Updated 6 years ago
• travisg / toolchains
  Shell script to build gcc for various architectures
  ☆80Updated last month
• dryc / libc11
  A public domain implementation of the C11 standard library.
  ☆166Updated 6 years ago