By default, U-Boot is configured to retrieve Linux kernel image stored in the microSD card [1]. In turn, Linux kernel shall mount root file system from the <code>mmcblk0p2</code> partition of the [[#BXELK microSD Layout|microSD card itself]] [2], [3]. At the end of boot process, Linux shell shall be available on the serial console. Default boot process '''does not download any bitstream''' to the Programmable Logic.
The following dump shows the typical messages printed out to the console during bootstrap process.
[2] This root file system has been generated by [[Advanced_use_of_Yocto_build_system_(BELK/BXELK)|Yocto build system]].
[3] The microSD card is bootable itself, as explained [[System_boot_and_recovery_via_microSD_card_(BELK/BXELK)|here]].
===Host setup and target software development===