Alternatives and similar repositories for rpi-kernel

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

• mrvn / raspbootin
  Simple boot-over-serial bootloader for the Raspberry Pi
  ☆146Updated 5 years ago
• jncronin / rpi-boot
  A second stage bootloader for the Raspberry Pi
  ☆147Updated 3 years ago
• Chadderz121 / csud
  Chadderz's Simple USB Driver for Raspberry Pi
  ☆211Updated 5 years ago
• novellus / Bare-Metal-Raspberry-Pi-Kernel
  A bare metal kernel for the Raspberry Pi, written in C.
  ☆16Updated 11 years ago
• dwelch67 / rpigpu
  Raspberry Pi GPU based bare metal example programs
  ☆111Updated 13 years ago
• brianwiddas / pi-baremetal
  Experimenting with bare metal coding on a Raspberry Pi
  ☆167Updated 12 years ago
• rsta2 / uspi
  A bare metal USB driver for Raspberry Pi 1-3 written in C
  ☆294Updated 2 years ago
• rsta2 / circle64
  Deprecated project, use https://github.com/rsta2/circle instead!
  ☆53Updated 7 years ago
• ztane / rpi-barebones
  Raspberry PI barebones kernel.
  ☆21Updated 12 years ago
• ICTeam28 / PiFox
  3D rail shooter written in ARM assembly
  ☆403Updated 7 years ago
• SimonGustavsson / PiOS
  My experimental bare metal OS for the raspberry pi
  ☆45Updated 11 years ago
• PeterLemon / RaspberryPi
  Raspberry Pi Bare Metal Assembly Programming
  ☆465Updated 4 years ago
• mpod / raspi-bare-metal
  A "bare metal" raycasting experiment for Raspberry Pi and QEMU.
  ☆32Updated 11 years ago
• RetroBSD / retrobsd
  Main RetroBSD Operating System
  ☆395Updated 8 months ago
• dumitru-stama / M0S
  1KB Cortex M0 Real Time Operating System
  ☆151Updated 8 years ago
• dwelch67 / thumbulator
  Thumb instruction set emulator
  ☆118Updated 4 years ago
• maazl / vc4asm
  Macro assembler for Broadcom VideoCore IV aka Raspberry Pi GPU
  ☆68Updated last year
• LizardLad / Raspi3-Kernel
  A fairly simple Raspberry pi 3 kenel
  ☆20Updated 6 years ago
• deater / vmwos
  a simple homebrew operating system for the Raspberry Pi
  ☆42Updated 3 weeks ago
• phire / hackdriver
  A hacky userspace v3d driver for the raspberry pi.
  ☆48Updated 11 years ago
• haldean / x6502
  Yet another 6502 emulator that one day dreams of being an Atari 2600.
  ☆232Updated 4 years ago
• itszor / vc4-toolchain
  A port of the GNU toolchain to the Raspberry Pi's VideoCore4 processor.
  ☆143Updated 4 years ago
• hermanhermitage / videocoreiv-qpu
  Fun and Games with the Videocoreiv Quad Processor Units
  ☆254Updated 9 years ago
• msperl / rpi-registers
  rpi-internal-registers
  ☆40Updated 6 years ago
• sergev / LiteBSD
  Variant of 4.4BSD Unix for microcontrollers
  ☆326Updated 11 months ago
• grappendorf / homecomputer-6502
  A complete build of a mobile 6502 home computer system
  ☆188Updated 10 years ago
• zhiyihuang / xv6_rpi_port
  This is an xv6 port to Raspberry Pi
  ☆45Updated 8 years ago
• klange / toaru-nih
  NOTICE: The ToaruOS-NIH Project has been MERGED UPSTREAM. This repository is now archived.
  ☆68Updated 7 years ago
• earl1k / llvm-z80
  LLVM backend for Z80
  ☆91Updated 12 years ago
• dwelch67 / raspberrypi-zero
  Raspberry Pi Zero baremetal examples
  ☆171Updated 4 years ago