Intel® FPGA RTE for OpenCL™ Standard Edition: Getting Started Guide

ID 683550
Date 9/24/2018
Public
Document Table of Contents
Give Feedback

4.2.6.1. Writing an SD Card Image onto the Micro SD Flash Card

To write an Intel® FPGA SDK for OpenCL™-compatible SD card image onto the micro SD flash card on Linux, extract the SD card image from the Cyclone V SoC Development Kit Reference Platform, and then write the image onto the micro SD flash card. The SD card image contains everything you need to start using OpenCL on the board.

The SD card image linux_sd_card_image.tgz is included in the Cyclone V SoC Development Kit Reference Platform, available with the SDK. Ensure that the environment variable AOCL_BOARD_PACKAGE_ROOT points to the location of the board_env.xml file in the Reference Platform.

You must have sudo or root privileges.

  1. To decompress the $INTELFPGAOCLSDKROOT/board/c5soc/linux_sd_card_image.tgz file, run the tar xvfz linux_sd_card_image.tgz command.
  2. Insert the micro SD flash card into a card reader, and connect the reader to your PC.
    1. If the flash card already contains an image, partitions will exist automatically in the micro SD card. Unmount or eject all these partitions.
  3. Run the dmesg | tail command to verify the device name of the flash card (for example, /dev/sde).
  4. Write the SD card image onto the micro SD flash card by running the following commands:
    sudo dd if=linux_sd_card_image of=/dev/sde bs=1M

    sync

    Attention: If the device name of your micro SD flash card is not /dev/sde, replace /dev/sde in the above command with the device name you obtain from Step 3.
    Warning: Specifying the wrong device name might cause the SD card image to overwrite all existing data.
  5. After you write the image onto the micro SD flash card, insert the card into the micro SD card slot on the Cyclone V SoC Development Kit.