136
edits
Changes
→How to create a bootable microSD card
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. 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.
==How to create a bootable 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'''.
The following components must be available:
*FSBL built with Vivado 2014.4 as described [[Creating_and_building_example_Vivado_project_(BELK)|here]]
*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>
==How to configure the system for microSD boot==
