The Versal® evaluation kit comes with a system controller image pre-installed on the micro SD card. If necessary, you can install the image onto a blank micro SD card with the following procedures. Otherwise proceed to Board Setup and Configuration.
Formatting the SD Card
- Insert the SD card into a card reader and connect the card reader to your computer.
- Ensure that there are no partitions in the SD card.
- Open Windows Explorer on your PC, right-click the micro SD card, and select Format. This erases all of the contents on the micro SD card.
- Specify the file system and set a new label to the SD card.
If the instructions in the previous steps do not work perform the following
steps to format the SD card.:
- Right-click on the Window Start icon located at the bottom left portion of the screen, select Disk Management. Navigate to the Removable Disk volume and clear all the partition by right clicking on volume and selecting Delete Volume.
- The removable disk should indicate FAT32 and all space as Unallocated as shown in the following figure.
Preparing the SD Card
Use the Win32 disk imager (Windows extractor) utility or the dd command line utility for Linux to write the given raw disk image petalinux-sdimage.wic to the micro SD card.
Using the Win32 disk imager utility (as shown in
the following figure and keyed steps):
Figure 1. Win32 Disk Imager Utility
- Use the Windows extractor to unzip the image file petalinux-sdimage.wic.zip and browse to the location of the
unzipped image in the Win32 utility. Based on the format of your image (.img
or .wic), select the appropriate option from the drop-down menu as shown in
the following figure. Selecting ‘*.*’ enables all of the .wic file-based
images to be visible.
- Choose the correct SD card under device.
- Click Write and then Yes at the prompt and wait until the operation is complete.
Using the command line utility for Linux:
- Unzip the image file petalinux-sdimage.wic.zip:
unzip petalinux-sdimage.wic.zip
- Use dd to write sdcard.img to the correct enumerated disk for the SD card
(check output of mount command to know sdxx mount point) in the Linux machine:
sudo dd if=petalinux-sdimage.wic.zip of=/dev/sdbx bs=1M
Micro SD Card Partitions
After the raw image is written to the SD card, there will be two partitions. The
first partition (FAT32 format) contains:
- boot image (BOOT.bin)
- u-boot script (boot.scr)
- kernel image (Image)
The second partition (ext4 format) contains the root file system.
Note: Windows OS only allows FAT32 partitions to be
viewed, which is the boot partition. ext4 format is not recognized.