I am working with the Zedboard and the board is working fine. I created the design in vivado_hls and then generated the bitstream file in vivado by creting the block design. Then I used petalinux to generate the boot fie systems for sd card. After doing all these when I tried running t on actual board the blue done led was not turning on. I heard that lighting the led is dependant on the bitstream file. Is that correct ? Having problems with the bitstream file cause these kind of problems ? what else can be the reason for this ?