Intel® Arria® 10 SoC UEFI Boot Loader User Guide

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

1.5.4.4.3. Programming the VxWorks* Real-Time Operating System Image

This task describes how to boot the Integrity Real-Time Operating System (RTOS) automatically on your target board after power up.

  1. Open a terminal window and enter the following command:
    $ cd <your_uefi_directory>/uefi-socfpga
  2. Run the following command to open and edit the <your_uefi_socfpga>/uefi-socfpga/AlteraPlatformPkg/Arria10SoCPkg/Arria10SoCPkg.dsc file.
    $ gedit AlteraPlatformPkg/Arria10SoCPkg/Arria10SoCPkg.dsc
  3. Set the PcdSdmmc_BOOTIMAGE_FILENAME parameter in the file to kernel-uImage.bin.
    Figure 55. Editing Arria10SoCPkg.dsc Parameters
  4. Click Save.
  5. Re-compile the UEFI Bootloader for the Intel® Arria® 10 SoC FPGA device using the following command. The build process takes less than 3 minutes.
    $ make fast
  6. When the build completes successfully, a Build Done message appears.
    Figure 56. Build Done Message
  7. Use the dd utility to overwrite the sd_card_linux_boot_image.img file with the generated PEI.ROM.
    $ cd <your_uefi_directory>/uefi-socfpga 
    
    $ dd if=Build/PEI.ROM of=/<your_SDCard_directory>/sd_card_linux_boot_image.img bs=512 seek=2048 conv=notrunc
    
  8. Insert the SD card reader into your host machine.
  9. Use the dd utility or Win32DiskImager to write the sd_card_linux_boot_image.img into the SD Card.
    If you are using the dd utility type:
    $ sudo dd if=/<your_SDCard_directory>/sd_card_linux_boot_image.img of=/dev/sdb bs=1M
    If you are using the Win32DiskImager:
    1. Double-click the Win32DiskImager Icon.
    2. When the Win32DiskImager dialog box appears, browse to select the sd_card_linux_boot_image.img file and click Open.
    3. Select the Write button.
    4. When the Confirm overwrite dialog box appears, click Yes to continue. A progress bar appears.
      Figure 57. Win32 Disk Imager Overwrite Confirmation
    5. After the write operation completes, a Complete dialog box appears. Click OK to exit the dialog box and then click Exit in the Image File window.
      Figure 58. Exit Win32 Disk Imager
    6. Remove the SD card reader from your host.