Why is the HPS Xen Hypervisor GSRD for the Agilex™ 5 FPGA E-Series Premium Dev Kit not supported in release 25.3.1?

Description

Due to the gradual GSRD migration from legacy (GSRD 1.0) to Baseline (GSRD 2.0) for the Agilex™ 5 FPGA E-Series Premium Dev Kit, the Legacy GSRD to boot from SD Card was deprecated in release 25.3.1. Since the Xen GSRD still makes use of Legacy GSRD, this is not supported in this release.

Resolution

There is not a workaround for this problem, but you can still use the latest Xen GSRD available from release 25.3: HPS Xen Hypervisor GSRD for the Agilex™ 5 FPGA E-Series Premium Dev Kit.   

This problem will be fixed in a future release once the Xen GSRD gets ported to use the Baseline GSRD.

Additional Information