Raspberry Pi firmware with Debian packaging. Contributions welcome
Alex Bradbury e06d0afb8f bump version 3 years ago
boot kernel: bump to 3.18.7 3 years ago
debian bump version 3 years ago
documentation/ilcomponents documentation: Update ilcomponents documentation to match latest firmware 4 years ago
extra kernel: bump to 3.18.7 3 years ago
hardfp/opt/vc kernel: bump to 3.18.7 3 years ago
modules properly fix merge mess 3 years ago
opt/vc kernel: bump to 3.18.7 3 years ago
README Removed deprecated info about loader.bin 5 years ago

README

This repository contains pre-compiled binaries of the current Raspberry Pi 
kernel and modules, userspace libraries, and bootloader/GPU firmware.

A rough guide to this repository and the licences covering its contents is
below (check the appropriate directories for full licence details):

* ./boot: *start.elf, bootcode.bin are the GPU firmware and bootloaders.
Their licence is described in 'LICENCE.broadcom'. The kernel.img files
are builds of the Linux kernel, released under the GPL (see COPYING.linux)
* ./debug: pre-build modules for the kernel_debug.img
* ./extra: System.map files for the provided kernel builds
* ./hardfp: userspace VideoCoreIV libraries built for the armv6 hardfp ABI
* ./modules: pre-built modules for kernel.img
* ./opt/vc: includes userspace libraries for the VideCoreIV (EGL/GLES/OpenVG
etc). See ./opt/vc/LICENCE for licencing terms