PetaLinux can not boot

Question

Hi all: I use the github make_minized_petalinux.tcl to generate the bitstream. And I burn it into QSPI but cannot boot. I want to use the qspi flash boot so I do not change the u-boot by Avnet platform-top.h But u-boot can not use the emmc. Please help me. Board: Xilinx Zynq Silicon: v3.1 I2C: ready DRAM: ECC disabled 512 MiB MMC: Card did not respond to voltage select! mmc_init: -95, time 27 sdhci@e0100000 - probe failed: -95 sdhci_transfer_data: Error detected in status(0x208000)! Card did not respond to voltage select! mmc_init: -95, time 27 SF: Detected n25q128 with page size 256 Bytes, erase size 64 KiB, total 16 MiB *** Warning - bad CRC, using default environment In: serial@e0001000 Out: serial@e0001000 Err: serial@e0001000 Board: Xilinx Zynq Silicon: v3.1 U-BOOT for UltraSound_z7007 Hit any key to stop autoboot: 0 no mmc device at slot 0

stefanrousseau · Accepted Answer

The TCL script that you reference will create a bit-stream for the Zynq PL. If you use JTAG, you coal load this into the device.
But to generate a .bin file that can be programmed into the QSPI flash, I would suggest that you start with a PetaLinux project that you can create using the BSP minized_qspi.bsp. The BSP is downloadable from the MiniZed Reference Designs page. There are a number of documents on that page that describe the process of using such a BSP. Once you can use the reference BSP, you can modify the bit-stream and behaviour with your own design.