GitHub repository: prodatakey/firmware
Primary language: C
Description: This repository contains pre-compiled binaries of the current Raspberry Pi  kernel and modules, userspace libraries, and bootloader/GPU firmware.