Installing the System Controller Image

VCK190/VMK180 Board Evaluation and Management (BEAM) Tool User Guide (UG1573)

Document ID
Release Date
1.0 English

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

  1. Insert the SD card into a card reader and connect the card reader to your computer.
  2. Ensure that there are no partitions in the SD card.
  3. 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.
  4. 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.:
  1. 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.
  2. 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
  1. Use the Windows extractor to unzip the image file 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.
  2. Choose the correct SD card under device.
  3. Click Write and then Yes at the prompt and wait until the operation is complete.

Using the command line utility for Linux:

  1. Unzip the image file
  2. 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 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.