# Bootloader firmware binaries
rpiboot: source-contains-prebuilt-binary [msd/start.elf]
rpiboot: source-contains-prebuilt-binary [msd/start4.elf]

# Yes, they're closed source
rpiboot: source-is-missing [msd/start.elf]
rpiboot: source-is-missing [msd/start4.elf]

# The Ubuntu package rewrites the upstream "native" to "quilt" for ease of
# patch maintenance
rpiboot: odd-historical-debian-changelog-version 20240926~102326 (for non-native) [debian/changelog:*]
