An image built with the following .bif file fails to boot:
The FSBL fails to load the PMUFW.
There are two way to load the PMUFW:
1) The CSU ROM loads the PMUFW:
The attribute in the .bif is [pmufw_image] pmu_fw.elf
2) The FSBL loads the PMUFW:
The attribute in the .bif is [destination_device = pmufw]pmu_fw.elf
The second method is NOT working in Vivado 2016.1 FSBL.
Here is an example of a working .bif file that uses the CSU ROM to load the PMUFW: