zImageファイルの生成手順について記載する。これも、参考サイト：No.1と同じことを行っている。というか、これはひとつの記事にするほどの内容ではなかった。

uENv.txtファイルの作成

次のコマンドにて、uENv.txtファイルを作成する。
touch uENv.txt
uENv.txtファイルを開き、環境変数を書き込む。
gedit uENv.txt
書き込む内容を次に示す。

bootargs=console=ttyPS0,115200 root=/dev/mmcblk0p2 rw earlyprintk rootfstype=ext4 rootwait devtmpfs.mount=1
uenvcmd=fatload mmc 0 0x03000000 TopZybo.bit && fpga loadb 0 0x03000000 $filesize && fatload mmc 0 0x03000000 zImage && fatload mmc 0 0x02A00000 zynq-zybo.dtb && bootz 0x03000000 - 0x02A00000

以上で、uENv.txtファイルの作成は完了である。

補足：各コマンドについて

uenvcmd
　・fatload mmcをまとめた変数
fatload mmc ^参考サイト:No.1^
　・SDカード内にあるデータのアドレス範囲とファイル名を指定する変数
fpga loadb
　・u-bootからFPGAをコンフィグレーションするための変数
　・fatload mmc変数と組みあわせて使用する。
　・例) fatload mmc 0 0x03000000 TopZybo.bit && fpga loadb 0 0x03000000 $filesize
bootz
　・Linux カーネルを起動するためのアドレスを指定する変数
　・例) bootz 0x03000000 - 0x02A00000