on a PC, format the microSD card creating a FAT32 partition
copy the boot.bin file to the microSD card FAT32 partition
==How to configure the system for SD microSD boot==
The 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):