With regard to the software configuration, the following versions were used:
*[[BELK/BXELK_software_components#Kits.27_composition|U-Boot 2014.07 release released with BELK 2.1.0]]
*Linux kernel 4.14.0 (at the time of this writing, this version was not officially supported by any BELK release yet)
*root file system: extracted from [[http://files.digilent.com/Products/PYNQ/pynq_z1_v2.1.img.zip|Pynq-Z1 v2.1 image]] and mounted over NFS.
==Setting up the board==
The following box shows the full boot process: