# This is non-free firmware, sourceless files are allowed
linux-firmware-raspi3 source: source-contains-prebuilt-binary boot/start.elf
linux-firmware-raspi3 source: source-contains-prebuilt-binary boot/start_cd.elf
linux-firmware-raspi3 source: source-contains-prebuilt-binary boot/start_db.elf
linux-firmware-raspi3 source: source-contains-prebuilt-binary boot/start_x.elf
linux-firmware-raspi3 source: debian-watch-may-check-gpg-signature
