The microSD card provided with BELK/BXELK is partitioned as shown in the following image:
It is worth remembering that the microSD card is [[System boot and recovery via microSD card (BELK/BXELK)|bootable]] and U-Boot environment is retrieved from (and stored to with <code>saveenv</code>) into the FAT partition as <code>bora.env</code>
In BELK/BXELK, the following source trees are clones of the correspondent '''DAVE Embedded Systems''' git repositories:
|-
|}
For more information about the access to these repositories, please refer to [[Build_system_(BELK/BXELK)Accessing_DAVE_Embedded_Systems_restricted_git_repositories#U-Boot_and_Linux_git_repositoriesPublic_key_access|this link]].