Visible to Intel only — GUID: wcr1718089255275
Ixiasoft
1. Overview
2. Getting Started
3. Development Kit Setup
4. Board Test System
5. Development Kit Hardware and Configuration
6. Custom Projects for the Development Kit
7. HPS Boot
8. Document Revision History for the Agilex™ 5 FPGA E-Series 065B Modular Development Kit User Guide
A. Development Kit Components
B. Additional Information
Visible to Intel only — GUID: wcr1718089255275
Ixiasoft
3.3.2. Restoring SD Card with the Default Factory Image
Note: The SD card is pre-programmed with sdimage. Completing the steps overwrites this image. Refer to RocketBoards.org to recover and update sdimage on SD card.
- Download SD card image from RocketBoards.org and extract the archive, obtaining the .wic file.
- Write the SD card image to the micro SD card using Win32DiskImager on Windows.