With regard to the software configuration, the following versions were used:
*U-Boot 2018.1 (at the time of this writing, '''this version was not officially supported by any BELK release yet''')*Linux kernel 4.14.0 (at the time of this writing, '''this version was not officially supported by any BELK release yet''')
*Root filesystem: extracted from [http://files.digilent.com/Products/PYNQ/pynq_z1_v2.3.zip Pynq-Z1 v2.3 image] and mounted from microSD card.