1 Repo
Pre-compiled Linux kernel images and loadable kernel modules for Raspberry Pi.
Distinct from Raspberry Pi Systems Programming: Distinct from Raspberry Pi Systems Programming: focuses on distribution of pre-built binaries rather than driver development.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Kernel and Module Distributions. Refine with filters or upvote what's useful.
This repository contains the pre-compiled firmware, bootloader binaries, device tree overlay files, and Linux kernel modules that power Raspberry Pi single-board computers. It provides the foundational system firmware that initializes the hardware and loads an operating system. The boot architecture relies on a proprietary VideoCore GPU that co-processes early initialization, memory partitioning, device tree overlay loading, and mailbox-based peripheral configuration before handing control to the main CPU. This multi-stage boot process uses a chain of small binary stages and loads a raw kerne
Pre-compiled Linux kernel images and loadable kernel modules for running operating systems on Raspberry Pi hardware.