Visible to Intel only — GUID: mgb1475858401723
Ixiasoft
1. Intel® FPGA SDK for OpenCL™ Intel® Arria® 10 SoC Development Kit Reference Platform Porting Guide
2. Developing an Intel Arria 10 SoC Custom Platform
3. Building the Software and SD Card Image for the Intel® Arria® 10 SoC Development Kit Reference Platform
4. Intel® FPGA SDK for OpenCL™ Intel® Arria® 10 SoC Development Kit Reference Platform Porting Guide Archives
5. Document Revision History for Intel® FPGA SDK for OpenCL™ : Intel® Arria® 10 SoC Development Kit Reference Platform Porting Guide
1.1. Intel Arria 10 SoC Development Kit Reference Platform: Prerequisites
1.2. Features of the Intel Arria 10 SoC Development Kit Reference Platform
1.3. Intel Arria 10 SoC Development Kit Reference Platform Board Variants
1.4. Contents of the Intel Arria 10 SoC Development Kit Reference Platform
1.5. Changes in Intel Arria 10 SoC Development Kit Reference Platform from 17.0 to 17.1
1.6. Changes in Intel Arria 10 SoC Development Kit Reference Platform from 17.1.2 to 18.0
2.1. Initializing an Intel Arria 10 SoC Custom Platform
2.2. Modifying Your Intel Arria 10 SoC Custom Platform
2.3. Integrating Your Intel Arria 10 SoC Custom Platform with the Intel® FPGA SDK for OpenCL™
2.4. Changing the Device Part Number
2.5. Modifying the Kernel PLL Reference Clock
2.6. Modifying the Hard Processor System
2.7. Guaranteeing Timing Closure in the Intel Arria 10 SoC Custom Platform
2.8. Generating the base.qar Post-Fit Netlist for Your Intel Arria 10 SoC FPGA Custom Platform
Visible to Intel only — GUID: mgb1475858401723
Ixiasoft
3.5.3. Guidelines on Imaging the Micro SD Card
After creating all the files in the SD card image, you have several options to image the micro SD card.
General recommendations and resources for imaging the micro SD card:
- Use the Linux fdisk command to create, delete, or modify existing partitions on the GSRD SD card image. Use the Linux dd command to write file systems to the existing partitions on the GSRD SD card image.
Important: To use these commands, you must have extensive Linux knowledge and have sudo on your machine.
- Rocketboards.org provides a python script that generates a .bin file. You can write this .bin file to the micro SD card. Refer to the Creating and Updating the SD Card section of the Arria 10 GSRD v17.1 User Manual for more information.
- Intel® provides the alt-boot-disk-util SD card boot utility to create SD boot images. For more information, refer to the SD Card Boot Utility chapter of the Intel SoC FPGA Embedded Design Suite User Guide.
The different partitions in the micro SD card are related to each other. For example, if the OpenCL .rbf file is not programmed onto the FPGA, the driver will not load. In addition, the socfpga.rbf file will not program the board when you boot it up if the .rbf file name does not match the label in the bootloader library. Before modifying the SD card image, consider whether the modification is necessary for your design.