Raspberry Pi boot binary files This repository is used to host the binary files needed for booting the Raspberry Pi devices. The content of this repository will be cloned during the build process of Chromium OS for Raspberry Pi.