Proprietary binary firmware provided by Broadcom.

It is distributed with the express permission of the RaspberryPi foundation.