Prerequisite: you need at least a 4GB microSD card

Setup steps:
1. Make sure the QSPI Flash had programed with HPS QSPI Image, and MSEL is set to AS Mode.
2. Unzip the sdcard image file.
3. Insert the microSD card to the host PC and write the image file into the microSD with the Win32DiskImager tool.
4. Insert the programmed microSD card to the FPGA SoC Board.
5. Power up the board, and open the ssh putty tool.

Configuration:
- Device: Agilex A5ED013BB32AE4SR1
- Quartus Version: 25.1 Pro
- ATF Branch: 2.12.0
- U-Boot Branch: 2025.01
- Linux Kerne Branch: 6.12.11-lts
- Linux Distribution: Ubuntu 22.04.3

Source Code: 
- GHRD: Demonstration/SoC_FPGA/GHRD folder under Board System CD
- Arm-Trusted-Firmware: https://github.com/terasic/arm-trusted-firmware/tree/de25s_revC_v1.0
- U-Boot: https://github.com/terasic/u-boot-socfpga/tree/de25s_revC_v1.0
- Linux Kernel: https://github.com/terasic/linux-socfpga/tree/de25s_revC_v1.0
- Boot Script: uboot.txt in this package

Additional information:
You can read the Linux_Booting_Started_Guide.pdf in the system CD for more details about setting up the Board.