Changes

==InstructionsIntroduction==It is assumed that the development environment has been set up properly as described [[Build_system_(BELK)|here]].BELK provides a bootable microSD that can be used not only to quickly start the system, but also as a recovery method in case the primary boot device (eg. SPI QSPI NOR flash) gets erased or corrupted. The following sections describe how to create a bootable SD card and how to configure the system for booting from SD.[[Restoring_U-Boot_on_SPI_NOR_flash_(BELK/BXELK)|This article]], for example, shows how to make use of such a card to restore the U-Boot image onto the NOR flash. 3{{ImportantMessage|text=It is worth remembering that the bootable microSD card described in this article is not configured to perform a full boot sequence, including the operating system bootstrap.4The bootable microSD card delivered along with the kit is set up to do a full bootstrap sequence, instead.9For more details, please refer to [[Working_with_the_Yocto_build_system#bootscript|this section]].1 }} ==How to create a bootable MicroSD microSD card=====BELK <= 3.0.2 / BXELK <= 1.0.1===This section describes how to create a new bootable microSD card from scratchfor '''BELK <= 3.0.2''' and '''BXELK <= 1.0.1'''.

*FSBL built with Vivado 2014.4 as described in Section 3.4.2[[Creating_and_building_example_Vivado_project_(BELK)|here]]*U-boot built in elf format, as described in Section 3.4.4[[Building_U-Boot_(BELK)|here]]*FPGA bitstream (optional).

*from the Vivado 2014.4 SDK, apply the required patches to the <code>main.c </code> project file.This step can be done in two ways:**manually, directly modifying the <code>main.c </code> file adding the following code snippets:<pre>

</pre>**automatically, using the ''Apply Patch '' function and selecting the <code>belk-sd-boot.patch </code> file provided with the BELK (please refer to the following images):[[File:Patch sd 1.png|thumb|center|600px|Automatic patch applying (1/3)]][[File:Patch sd 2.png|thumb|center|600px|Automatic patch applying (2/3)]][[File:Patch sd 3.png|thumb|center|600px|Automatic patch applying (3/3)]]*once the patch is applied, rebuild the FSBL project*from the Xilinx Tools menu, select ''Create Zynq Boot Image''*select Create New BIF file and insert path and name of the .bif file*in the ''Boot image partitions'' section, click on ''Add'' to browse and add the following files:**FSBL in .elf format, with ''bootloader'' as partition type **(optional) FPGA bitstream in .bit format, with partition type ''datafile''**U-boot binary with .elf extension, with partition type ''datafile''*in the ''Output path'' section, browse and select the path where saving the <code>boot.bin</code> file*on a PC, format the microSD card creating a FAT32 partition*copy the <code>boot.bin</code> file to the microSD card FAT32 partition. ===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 [[Building_U-Boot_(BELK)|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>

once {{ImportantMessage|text=In case the patch are applied, rebuild microSD card provided along with the FSBL projectfrom the Xilinx Tools menùkit is used, select Create Zynq Boot Imageselect Create New BIF file and insert path and name of the .bif filein the Boot image partitions section, click on Add to browse and add Programmable Logic is automatically programmed with the following files:FSBL in .elf format, with partition type “bootloader”[[Creating_and_building_example_Vivado_project_(optionalBELK/BXELK) FPGA bitstream in .bit format, with partition type “datafile”U-boot binary with .elf extension, with partition type “datafile”in the Output path section, browse and select the path where saving |example design]] during the bootprocess.bin fileon a PC, format the microSD card creating a FAT32 partitioncopy the boot.bin file to the microSD card FAT32 partition3.4.9.2 How to configure the system for SD bootThe S5 dip-switch on the BORAEVB carrier board is used for configuring the boot mode. Please refer to the following table to select the MicroSD mode (highlighted in green):}}