MicroZed Chronicles リスト http://adiuvoengineering.com/?page_id=285
@ Adam Taylor blog
https://forums.xilinx.com/t5/Xcell-Daily-Blog/Adam-Taylor-s-MicroZed-Chronicles-Part-47-AMP-Asymmetric/ba-p/512235

FSBL, CoreごとのApplication ELFファイル, Bitファイルが用意できた段階

We now need a .bin file to enable the Zynq SoC to boot from your selected configuration memory. We also need a bif file, which defines the files to be used to create the bin file, and we need to define the order in which the files go.

XSDKではなくbootgenコマンドを使ってbinファイルを生成する

Rather than use the created Zynq boot image within SDK we will be using an ISE command prompt and bat file provided as part of XAPP 1079 under directory\design\work\bootgen. This directory contains a bif file and a cpu1_bootvec.bin which is used as part of the modified FSBL to stop it from looking for more applications to load.

BIFファイルを用意することになるが、その一部が以下のようになるとのこと

To generate the bin file, we copy the three generated ELF files to the bootgen directory and edit the BIF file to ensure the elf names within the bif file are correct.

the_ROM_image:
{
    [bootloader] amp_fsbl.elf
            download.bit
            amp_cpu0.elf
            amp_cpu1.elf

    //write start vector address 0xFFFFFFF0 with 0xFFFFFF00
    //This load address triggers fsbl to continue
    [load = 0xFFFFFFF0] cpu1_bootvec.bin
}

(Vivadoでなく)ISE使用でのコマンドは

> bootgen -image bootimage.bif -o i BOOT.BIN -w on