Visible to Intel only — GUID: mwh1410561649989
Ixiasoft
1.2.1. Prerequisites
1.2.2. Getting Started
1.2.3. Generating the Initial HDL in Platform Designer (Standard)
1.2.4. Top Level Routing
1.2.5. Timing Constraint Configuration
1.2.6. Adding Pin Assignments in Intel® Quartus® Prime Standard Edition
1.2.7. Hardware Programming File Compilation and Generation
1.2.8. SD Card Image Updates
1.2.9. Board Setup and Booting Linux from the SD Card
Visible to Intel only — GUID: mwh1410561649989
Ixiasoft
1.2.8. SD Card Image Updates
Update the default SD card image with the generated preloader binary, u-boot image file and DTB file following the steps described below:
- With your Linux machine, prepare the SD card by following the information in GSRD-Booting Linux Using Prebuilt SD Card Image. Untar the sd_image.bin.tar.gz file and program the image file, sd_image.bin into the SD card.
- Replace the preloader-mkpimage.bin, u-boot.img and socfpga.dtb in the SD card.
Note: Information provided regarding SD card changes, preloader and Linux software file changes and preloader generation are applicable to this reference design only.