Hello, Could anyone tell me how I need to format my 32Gb SD card to enable my Zybo to boot from it. Are there any constraints? I created a 1Gb FAT32 partition and placed my Petalinux generated BOOT.bin and image.ub. Then I power cycle the board and ensure the jumper is on SD card and nothing happens. Its as if the card is not read. Trying the same with the SPI flash memory works, so the problem isn't in the BOOT.bin. I suspect it is the partition. Much appreciated!