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