Hello,
I'm using an UltraZed IO Carrier Card. I have used my custom Petalinux with no problems. But since yesterday, I don't know why, it doesn't boot from the SD Card. Also I have tried with the UltraZed IO Carrier Card - Out of Box Design
1. Format SD card to FAT32.
2. Copy files to SD card.
3. Set switch [1:4] to OFF,ON,OFF,ON
but I have the same result, the serial output is empty and PS on-board user Red LED is fixed and doesn't flash. Could the SD card be damaged?