# It's a bootloadear, so unsurprisingly it's statically linked and doesn't
# necessarily match the platform arch (e.g. armhf bootloader for arm64 chip)
xlnx-firmware: statically-linked-binary [usr/share/xlnx-firmware/zcu*/zcu*.elf]
xlnx-firmware: binary-from-other-architecture [usr/share/xlnx-firmware/zcu*/zcu*.elf]

# This is non-free firmware (--> restricted component)
xlnx-firmware: unstripped-binary-or-object [usr/share/xlnx-firmware/zcu*/zcu*.elf]
xlnx-firmware: arch-dependent-file-in-usr-share [usr/share/xlnx-firmware/zcu*/zcu*.elf]

