@azonenberg I am running Linux on the PS but bare metal is simple enough. You can specify an elf file for each of the CPUs to bootgen. That kicks out an image you can put in flash. JTAG boot is different, having to load and run PMU firmware and first stage bootloader (DRAM init, etc) then load those binaries into RAM. PMUFW and FSBL are both open source (MIT) bare metal code available from Xilinx Github repos. FSBL does contain a design specific header file generated by Vivado with DDR, PLL, etc