*[[Building U-Boot (BELK/BXELK)|This page]] for detailed instruction on U-Boot building
*[[Building Linux kernel (BELK/BXELK)|This page]] for detailed instruction on Linux kernel building
*[[Building_the_software_components_via_Yocto_(BELK/BXELK)|This link]] shows hot to use Yocto build system to build the entoire entire BSP, including U-Boot bootloader, Linux kernel and root file system.
About Programmable Logic (PL), please refer to [[Creating_and_building_example_Vivado_project_(BELK/BXELK)|this page]] that illustrates a simple reference design for BoraEVB and BoraXEVB.