Intel® FPGA SDK for OpenCL™: Intel® Arria® 10 SoC Development Kit Reference Platform Porting Guide

ID 683788
Date 10/08/2019
Document Table of Contents Creating Partition 1 of the SD Card Image

To create partition 1 of the SD card image:

  1. Mount the FAT32 partition (partition 1) in the sdimage.img file as a loop-back device.
    To mount a partition:
    1. Determine the byte start of the partition within the image with the /sbin/fdisk -lu image_file command.

      For example, partition number 1 of type W95 FAT has a block offset of 2121728. With 512 bytes per block, the byte offset is 512 bytes x 2121728 = 1086324736 bytes.

    2. Identify a free loop device (for example, /dev/loop0) by typing the losetup -f command.
    3. Assign your flash card image to the loop block device by invoking the losetup command.
      For example, if /dev/loop0 is the free loop device, issue the following command:
      losetup /dev/loop0 image_file -o <byte offset>
    4. Mount the loop device.
      For example, if /dev/loop0 is the loop device and the mount point is /media/disk1, issue the following command:
      mount /dev/loop0 /media/disk1
      Within the image file, /media/disk1 is now a mounted FAT32 partition.
  2. Remove all files from the mounted directory, and copy socfpga_arria10_socdk_sdmmc.dtb, socfpga.rbf and zImage to the partition.
  3. After you store all the necessary files onto the flash card image, run the following commands:
    umount /media/disk1
    losetup -d /dev/loop0