Intel® Arria® 10 SoC UEFI Boot Loader User Guide

ID 683536
Date 12/15/2017
Public
Document Table of Contents

1.5.4.1. Creating an SD Card Image on Linux

  1. Open a terminal window.
  2. Make a copy of the GSRD into your working directory.
  3. Download the pre-built SD card image from here.
  4. Use the Arria10_Linux_SDCard.tar.gz as a base image and modify the image to boot with UEFI boot loader.
  5. Expand the compressed Linux SD card image.
    $ tar xzvf Arria10_Linux_SDCard.tar.gz
  6. Insert the SD card reader into your machine. Enable the San Disk SDDR-113 by navigating to Devices > USB Devices > SanDisk SDDR-113 [9412].
    Figure 32. Enabling SanDisk SDDR-113 [9412]
  7. Determine the device associated with the SD card on the host by running the following command before and after inserting the card in the reader:
    $ cat /proc/partitions
    Figure 33. SD Card Determination Using cat Command
    Alternatively, you can accomplish the same through the following menu selection on your machine: Applications > System Tools > Disk Utility
    Figure 34. SD Card Determination Using Disk Utility
    This selection opens a Disk Utility Window:
    Figure 35. Disk Utility Window
  8. Use the dd utility to overwrite the Arria10_Linux_SDCard.img file with the generated PEI.ROM and write the image into the SD card.
    $ cd <your_uefi_directory>/uefi-socfpga
    
    $ dd if=Build/PEI.ROM of=/<your_SDCard_directory>/ Arria10_Linux_SDCard.img bs=512 seek=2048 conv=notrunc
    Figure 36. Image Overwrite Using dd Utility
  9. Insert the SD card reader into your host machine and use the dd utility to write the image into the SD card.
    $ sudo dd if=/<your_SDCard_directory>/ Arria10_Linux_SDCard.img of=/dev/sdb bs=1M
    Figure 37. Image Write Using dd Utility