[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Problems with OVMF for Xen HVM


  • To: pkg-xen-devel@xxxxxxxxxxxxxxxxxxxxxxx, pkg-qemu-devel@xxxxxxxxxxxxxxxxxxxxxxx
  • From: Teddy Astie <teddy.astie@xxxxxxxxxx>
  • Date: Tue, 18 Nov 2025 19:14:08 +0100
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=none; dmarc=none; dkim=none; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=wIdXsqfeVXuOyjbhWYt4qK59S/Jx5RDSUoF0u4Yl2GU=; b=Lncy+Ewdy0sVB35avkLRRMAaB81IxhTzhvWSaPTLQPKhCCA9PT092CrazjMFdG1iydYUa+14MWpecanWr9tIDR16RQ7o/JO6taK+z/UNSzL0BXUQnqxLbhJJPSl85aFHBxsS9khVRmwp/l+GLmPlhFg4g0F2hu5WVUENCob8SZ+2e966YVXJtnBKERWLguVCAyziHf5Qp3cG0+TLew84dbj7OvE5x1893/5Yi6eAs8NMpeUDRxi0eKv42d8ITv6FqaWLAmkS/01/dfWH6HAmEkUzv2jYZclRy89eKMzln4M7dzG60xu5ET7U3QiV0aGDqf85Z05kkX6nKSBNjo4lpQ==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=wFFIV1CWUx4/EAuIeAlqXC1fuMNNDYCsNA6SXAztXJ7IbA+sk+cIXb6myVbXjQrc1d7PgZezmoII0XlUqfbhmPFnPf/KLL6CnZV7uzyLoD239Uaxc/idk6Jxt5dQTvPHt9ZmyKC23hp33m1DiQXX2Ev2XXYuSsNDvOqgpnYolyCTDWiHCUIfOm9uxdgH0u+aiiHvGZ4kf3QkPoKMWGhN8favoILRxTQXX/qY2h+2yeaDxUwjrUvZqLv2Qd/kHMYc/rlzX1Wj/gPADUVX/A8QGPlHGxlgayI5m7jrJxfymPGbBd5QwRWLuSlHwBgFaSmGyt91GZIi1p/L6E7pZe6FOg==
  • Cc: xen-users@xxxxxxxxxxxxx
  • Delivery-date: Wed, 19 Nov 2025 06:56:23 +0000
  • List-id: Xen user discussion <xen-users.lists.xenproject.org>

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




 


Rackspace

Lists.xenproject.org is hosted with RackSpace, monitoring our
servers 24x7x365 and backed by RackSpace's Fanatical Support®.