GSRD Linux Boot Hangs at “Loading Linux Kernel”

Description

When you attempt to boot the SoC EDS v13.0 Linux on the Cyclone V SoC Development Board, Linux might hang after displaying the message “Loading Linux Kernel.”

The Linux implementation included with the Golden System Reference Design (GSRD) is different from the SoC EDS v13.0 Linux. It includes drivers supporting soft IP cores in the Golden Hardware Reference Design (GHRD). As a result, the device tree source (.dts) file is not compatible.

Resolution

Edit the device tree source file, soc_system.dts. Change the following line:

compatible = ”ALTR,socfpga-cyclone5”;

to read as follows:

compatible = ”ALTR,socfpga-cyclone5”, ”altr,socfpga”;