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 more specific licence details):

• boot:
  • start.elf, fixup.dat and bootcode.bin are the GPU firmwares and bootloader. Their licence is described in

    boot/LICENCE.broadcom

    .
  • The kernel.img files are builds of the Linux kernel, released under the GPL (see

    boot/COPYING.linux

    )
  • The dtbs, overlays and associated README are built from Linux kernel sources, released under the GPL (see

    boot/COPYING.linux

    )
• debug: pre-built modules for the kernel_debug.img (

  boot/COPYING.linux

  )
• documentation/ilcomponents: OpenMax IL documentation (

  boot/LICENCE.broadcom

  )
• extra: System.map files for the provided kernel builds (

  boot/COPYING.linux

  ), and dt-blob.dts (

  boot/LICENCE.broadcom

  )
• hardfp/opt/vc: userspace VideoCore libraries built for the armv6 hardfp ABI (

  hardfp/opt/vc/LICENCE

  )
• modules: pre-built modules for kernel.img (

  boot/COPYING.linux

  )
• opt/vc: includes userspace libraries for the VideoCore - EGL/GLES/OpenVG etc. (

  opt/vc/LICENCE

  )