I am following the steps in UG1209 to load configure a PetaLinux project. In the petalinux-package step, there is an option --fpga to use if there is a bitstream. I do have a bitstream in my design. When I run the command I understandably get the error that the system.bit file does not exist since I have copied only the hdf file from Vivado.
My question is if I have to copy my bitstream from Vivado to the PetaLinux project along with the hdf file.
I have read some posts saying the hdf file is a kind of zipped file and will be containing the bit file within it. If so why isn't PetaLinux recognizing it?