# 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-versal-firmware: statically-linked-binary usr/share/xlnx-versal-firmware/vck190/vck*.elf
xlnx-versal-firmware: binary-from-other-architecture usr/share/xlnx-versal-firmware/vck190/vck*.elf

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