Page History
...
Note: Xilinx how-to "Prepare Boot Image" is incomplete and out-dated as well. Xilinx how-to does not show bitstream at all, and lists files to be included that are not needed with latest petalinux standard kernels.
Example BIF file for BOOT.bin, FPGA bitstream is clearly visible as second file. This is how SDK wizard does it by default, this order should not be changed. As 3rd file is normally second stage bootloader (u-boot).
Boot from SD Card
If there is doubt that booting from SD card is failing, then as first step a special BOOT.bin should be used to verify the that Zynq Bootrom can load the boot code from SC Card at all. This special image does not use or initialize any PS peripherals including external DDR memory, it also does not attempt to configure the PL portion. The image simply Blinks a LED connected to some MIO pin. The same image can be used on any Zynq device, if the SD boot process succeeds at all then code in the image will be executing.