Ubuntu16.04でPetalinuxプロジェクトを作成し、Peta LinuxをPYNQ上で起動する

https://wiki.trenz-electronic.de/display/PD/PetaLinux+KICKstart

$ source <path-to-installed-PetaLinux>/settings.sh
$ petalinux-create --type project --template zynq --name <PROJECT_NAME>
$ cd PROJECT_NAME
$ cp <SDK_PROJ_DIR>/system.hdf .  #.hdfをルートフォルダにコピー
$ petalinux-config --get-hw-description #.hdfの情報を反映
$ petalinux-build

/images/linuxに以下のファイルができる。

design_1_wrapper.bit  rootfs.cpio.gz         rootfs.ext4     rootfs.manifest  System.map.linux  vmlinux
image.ub              rootfs.cpio.gz.u-boot  rootfs.ext4.gz  rootfs.tar.gz    u-boot.bin        zImage
rootfs.cpio           rootfs.ext3            rootfs.jffs2    system.dtb       u-boot.elf        zynq_fsbl.elf

u-boot.elfはFSBLと組み合わせてBOOT.binを作るのに使う
image.ubはカーネルイメージとして使う

Xilinx SDKからFSBLとFSBL_bspを作成し、Create boot imageでu-boot.elfを指定してBOOT.binを作成する
→この記事を参考に http://marsee101.blog19.fc2.com/blog-entry-2918.html
（Zyboでは途中でfsbl_hooks.cの内容を書き換えないといけないみたいだけど、PYNQでは無視しても動くみたいだった）

最終的にSDカードにBOOT.binとimage.ubを書き込む。
Peta linuxが起動した。
ログイン情報は
login : root
password : root