# This is non-free firmware, sourceless files are allowed
source-is-missing [boot/start.elf]
source-is-missing [boot/start4.elf]
source-is-missing [boot/start4cd.elf]
source-is-missing [boot/start4db.elf]
source-is-missing [boot/start4x.elf]
source-is-missing [boot/start_cd.elf]
source-is-missing [boot/start_db.elf]
source-is-missing [boot/start_x.elf]
