Remark How to format SD card for SD boot – by XilinxStep 14: Partitioning the Boot SD Card Using GParted (1GiB for the first partition)Discussion about Booting Zynq from a 64GB SD CardDiscussion about Booting Zynq from a 64GB SD Card