//arch = zynqmp; split = false; format = BIN
the_ROM_image:
{
	[bootloader, destination_cpu = a53-0]/home/fsbl_usb_boot.elf
	[destination_cpu = pmu]/home/pmufw.elf
	[destination_cpu = a53-0, exception_level = el-3, trustzone]/home/bl31.elf
	[destination_cpu = a53-0, exception_level = el-2]/home/u-boot.elf
	[load = 0x100000, destination_cpu = a53-0]/home/system.dtb
}