19.4. [SOC] Writing the SD Card Image (.wic) to an SD Card
Before running the demonstration, you must create a bootable SD card for the FPGA development kit. You can use either the precompiled SD card image or an SD card image that you created.
- Agilex™ 5 FPGA E-Series 065B Modular Development Kit (MK-A5E065BB32AES1)
$COREDLA_ROOT/demo/ed4/agx5_soc_s2m/sd-card/coredla-image-agilex5_modular.wic
- Agilex™ 7 FPGA I-Series Transceiver-SoC Development Kit
$COREDLA_ROOT/demo/ed4/agx7_soc_s2m/sd-card/coredla-image-agilex7_dk_si_agi027fa.wic
- Arria® 10 SX SoC FPGA Development Kit
$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 [SOC] (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.
- 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 SD card include /dev/sdb or /dev/sdc. The rest of these instruction use /dev/sdx as the SD card location.
- Use the dd command to write the SD card image as follows:
wic_image=<path to SD (.wic) image file> 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 development kit SD card slot.
If you want to use a Microsoft* Windows* system to write the SD card image to the SD card, refer to the GSRD manuals available at the following URL: https://www.rocketboards.org/foswiki/Documentation/GSRD.