I'm trying to boot a petalinux from the SD card without any success. I have tried the one provided by avnet or one that I build with petalinux + vivado (I tried both 2016.2 and 2016.4).
The system is booting on the EMMC and not with the uImage of the SD card...
With the one provided by avnet I have the following problem:
With mine I have the following error:
*** Warning - bad CRC, using default environment