BOOT.BIN ファイルは、 Vivado® Design Suite または PetaLinux を使用して生成できます。Vivado Design Suite を使用してブート イメージを作成する方法は、 『Zynq UltraScale+ MPSoC: エンベデッド デザイン チュートリアル』 (UG1209) を参照してください。PetaLinux を使用する方法は、 『PetaLinux ツール資料: リファレンス ガイド』 (UG1144) を参照してください。