Why is the HPS Xen Hypervisor GSRD for the Agilex™ 5 FPGA E-Series Premium Dev Kit not supported in release 25.3.1? - 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 Custom Fields values: ['novalue'] Troubleshooting 18042911049 novalue ['novalue'] ['FPGA Dev Tools Quartus® Prime Software Pro'] novalue 25.3.1 ['Agilex™ 5 FPGA E-Series'] ['novalue'] ['novalue'] ['Agilex™ 5 FPGA E-Series 065A Premium Dev Kit', 'Agilex™ 5 FPGA E-Series 065B Premium Dev Kit']