[Pkg-xen-devel] Problems with OVMF for Xen HVM

[Teddy Astie]

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