From the software standpoint, BELK and BXELK are built on to of Zynq Linux BSP released by Xilinx. Customization are added to support the Bora and BoraX platforms, in particular at bootloader and linux kernel levels.
==Kits' composition==
The following table reports details the software modules of BELK/BXELK releases information.
{| class="wikitable"
!colspan="8" | Kit composition
|-
|}
== How to update BELK ==