Intel® FPGA AI Suite: SoC Design Example User Guide

ID 768979
Date 12/01/2023
Public

A newer version of this document is available. Customers should click here to go to the newest version.

Document Table of Contents

3.4. Writing the SD Card Image (.wic) to an SD Card

Before running the demonstration, you must create a bootable SD card for the Intel® Arria® 10 SX SoC FPGA Development Kit. You can use either the precompiled SD card image or an SD card image that you created.

The precompiled SD card image (.wic) is in the following location:
$COREDLA_ROOT/demo/ed4/a10_soc_s2m/sd-card/coredla-image-arria10.wic

If you built your own SD card image following the instructions in (Optional) Create an SD Card Image (.wic), then your SD card image is located in the directory that you specified for the -o option of the create_hps_image.sh command.

To write the SD card image to an SD card:
  1. Determine the device associated with the SD card on the host by running the following command before and after inserting the SD card:
    cat /proc/partitions

    Typical locations for the SC card include /dev/sdb or /dev/sdc. The rest of these instruction use /dev/sdx as the SD card location.

  2. Use the dd command to write the SD card image as follows:
    wic_image=$COREDLA_WORK/demo/ed4/a10_soc_s2m/sd-card/coredla-image-arria10.wic
    sudo umount /dev/sdx*
    sudo dd if=$wic_image of=/dev/sdx bs=1M
    sudo sync
    sudo udisksctl power-off -b /dev/sdx

After the SD card image is written, insert the SD card into the SD slot on the daughter card on the Intel® Arria® 10 SX SoC FPGA Development Kit board.

If you want to use a Microsoft* Windows* system to write the SD card image to the SD card, refer to the Intel® Arria® 10 GSRD manuals available at the following URL: https://www.rocketboards.org/foswiki/Documentation/GSRD.