使用SD卡启动Petalinux镜像

准备SD卡

Xilinx官方要求sd卡至少4GB，建议速度等级为 6 或以上。

分区

使用分区编辑器（如 gparted）将 sd卡格式化为两个分区。

ubuntu中安装gparted

sudo apt-get install gparted

需要注意这里主机系统应为dash（一般默认位dash），否则安装不上。
设置主机系统为dash：

sudo dpkg-reconfigure dash

然后选择Yes。

使用gparted分区

进入/dev文件，ls命令查看设备，然后插入sd卡，再次ls，多出来的sdb即为sd卡的盘符。
打开gparted：

sudo gparted

选择sd卡对应的盘符：

分区要求：
1、在最前面留出 4 MB 的空闲空间，然后建立第一个分区；
2、第一个分区的大小应该至少为 60 MB，并格式化为 FAT32 文件系统，将这个分区标记为 BOOT；
3、第二个分区格式化为 ext4 文件系统，可以占用sd卡上剩余的空间。将这个分区标记为 RootFS；
4、确保sd卡分区为 4 MB 对齐，即第一个分区大小应是4MB的倍数。

注：如果sd卡之前使用过，Partition一栏下有小钥匙图标导致无法对该分区进行操作，可以在上面的图形操作栏中对应该分区的位置右键选择unmount，小钥匙就消失了。这是因为已经挂载的分区，必须首先卸载才能进行分区操作。

打开gparted界面后的使用可以参考下面这篇博文后面的相关内容。
链接: gparted的使用

复制文件

sd卡仍是安装在主机上，将以下文件从petalinux工程文件夹下的./pre-built/linux/images/复制到sd卡中标记为BOOT的分区中（sd卡分区后重新接入电脑即可看到BOOT分区）：
• BOOT.BIN
• image.ub
petalinux工程的建立参考下面这篇博文。
链接: petalinux工程建立

启动PetaLinux镜像

按照官方手册的对应章节来。可以sd卡启动，也可以JATG启动，具体选择依据板卡电路。
链接:手册