Re: Problems with OVMF for Xen HVM

["Teddy Astie" <teddy.astie@xxxxxxxxxx>]

Which also seems to be the root cause of
https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1050030

Le 18/11/2025 à 19:14, Teddy Astie a écrit :
> Hello,
>
> We found that the OVMF build used in Debian (with Xen using
> bios="ovmf") fails to boot a nested Xen due to problematic ACPI
> tables, along other issues like 1 vCPU Linux guests and very slow boot.
>
> It looks like Debian uses a build of OVMF that doesn't have Xen
> support, which appears to cause the ACPI tables to get bogus, among
> some other issues.
>
> In OVMF source code, there is a separate OvmfXen.dsc which has
> Xen-specific drivers (PV drivers) and logic that probably needs to be
> built separately and be used for Xen instead.
>
> Teddy
>


--
Teddy Astie | Vates XCP-ng Developer

XCP-ng & Xen Orchestra - Vates solutions

web: https://vates.tech