View source for System boot and recovery via microSD card (BELK/BXELK)

====BELK-4.0.0 / BXELK-2.0.0====
This section describes how to create a new bootable microSD card from scratch for '''BELK-4.0.0''' and '''BXELK-2.0.0'''.
The following components must be available:
*U-boot SPL and U-boot second stage built as described in [[BORA_SOM/BELK-L/Development/Building_U-Boot|here]]
*FPGA bitstream (optional).
The procedure is the following:
*on a PC, format the microSD card creating a FAT32 partition
*copy the following files to the microSD card FAT32 partition:
** U-boot SPL: <code>boot.bin</code>
** U-boot second stage: <code>u-boot.img</code>
** Fpga bitstream .bit (optional): <code>fpga.bit</code>