View source for Logical structure of Bora and BoraX Embedded Linux Kits (BELK/BXELK)

====The role of Vivado====
U-Boot SPL is based on one file (<code>ps7_init.c</code>) that is generated by Vivado. In turn, this file contains some initialization parameters that are set according to Zynq configuration.

The U-Boot sources provided by the BELK/BXELK include such file. Unless you need to modify the initial Zynq configuration, you don't need to generate a new <code>ps7_init.c</code> file. Therefore, from the standpoint of the software running on PS, the role of Vivado is limited to the generation of such file.