Cyclone® V SoC Development Kit User Guide

ID 830285
Date 10/07/2024
Public
Document Table of Contents

A.2.3.1. Programming the SD Card Boot Image

The SD card is the default boot source for the HPS as selected by the BSEL jumpers. The socket is designed to accept microSD cards. The SoC development kit comes with a microSD card, micro-to-standard SD card adapter, and a USB programming adapter.

To program the SD card, perform the following steps:

  1. Insert the SD card into the USB programming adapter and insert the programming adapter into a USB port on your PC.
  2. In Windows, you should see a pop-up window asking what you would like to do with the flash device. Click Cancel, but note the drive letter it is mounted as.
    You cannot drag and drop files onto the SD card because the file system is different.
  3. For Windows, use a disk imaging program such as Win32DiskImager.
  4. For Linux, use the dd command. For example:
    sudo dd if=<boot_image_filename.img> of=/dev/<sd_card_name> bs=<size>
    Attention: Be careful when using this programming command as it overwrites whatever that is found on the device pointed to in the of command.
For more information, refer to the Intel® SoC FPGA Embedded Development Suite (SoC EDS) User Guide and RocketBoards.org.