How to add FPGA bin file in BOOT.bin, for FPGA configuration with Linux

This guide will explain how to recompile U-Boot, in order to add FPGA configuration bin file in BOOT.bin.

In order for FSBL to configure the FPGA at power up and before starting Linux, it must be added to the boot file immediately after FSBL, otherwise it will not find it. It is necessary to use the * .bit file. Because in the * .bin file there is no header and it does not start via FSBL. Boot.bin looks like this:

How to compile Linux for Zybo (Zynq) development board and start it from QSPI

This article will describe how to prepare all the necessary files to run Linux from the Xilinx FPGA, namely the Zybo debug board. With the subsequent writing of the necessary files on QSPI and the launch of the finished system.

This article is based on the following guides:
instructables.com, xilinx-wiki.atlassian.net, github.com.

FPGA development will be done in Vivado 2019.1, The necessary files for Linux will be compiled in a virtual machine Oracle VM VirtualBox, on which Ubuntu is installed.

Compilation will take place without PetaLinux, which, as Xilinx claims is a platform that contains everything you need to run Linux on FPGA and makes it easy to make changes. In this manual however, everything will be assembled manually, in order to take a closer look at the work of embedded systems.