Bureaucrats, dave_user, Administrators
4,650
edits
Changes
→Testbed's hardware and software configuration
*[[BELK/BXELK_software_components#Kits.27_composition|U-Boot 2014.07 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.img3.zip Pynq-Z1 v2.1 3 image] and mounted over NFSfrom microSD card.
Original root file system included several kernel drivers built as modules. The Linux kernel used for this test was different than the kernel released along with the PYNQ's root file system, however. Consequently, these modules were not compatible with the kernel running on Bora. To overcome this issue, these drivers were linked statically into the kernel image.