On 09/09/13 11:19, Eggert, Lars wrote:
> I'm trying to run a recent-CURRENT XEN i386 kernel in a Xen 4.2 PV domU.
> I had to add the following options to the kernel config file in order to
> compile the XEN kernel:
> makeoptions WITHOUT_MODULES+="mlx4 mlx4ib mlxen mthca"
> The resulting kernel compiles, but fails to boot. Attached is the log. Any
This is due to the unification of event channel implementations. I'm
attaching a patch that should fix the issue (at least when using only
The i386 Xen PV port doesn't fill the data in struct pcpu, so we end up
with uninitialised values there which are required for the new event
channel implementation. Maybe someone with more knowledge of the Xen
i386 PV port can provide a better solution.
If you plan to use the i386 PV port you will also need to revert r244237
in order for it to work.
May I ask if there's anything that prevents you from switching to the
PVHVM port? I wouldn't recommend using the i386 PV port.
>From 0429a1ba5bdbca844e9a798df13396e1ee11aae0 Mon Sep 17 00:00:00 2001
From: Roger Pau Monne <roger....@citrix.com>
Date: Mon, 9 Sep 2013 11:53:15 +0200
Subject: [PATCH] xen: set acpi_id for i386 PV port
Set a 'fake' acpi_id for the i386 PV port, it is needed in order to
use VIRQs or IPI event channels.
sys/i386/xen/mp_machdep.c | 3 +++
1 files changed, 3 insertions(+), 0 deletions(-)
diff --git a/sys/i386/xen/mp_machdep.c b/sys/i386/xen/mp_machdep.c
index 274598f..4e4c07d 100644
@@ -251,6 +251,9 @@ cpu_add(u_int apic_id, char boot_cpu)
printf("SMP: Added CPU %d (%s)\n", apic_id, boot_cpu ? "BSP" :
+ /* Set the ACPI id (it is needed by VCPU operations) */
+ pcpu_find(apic_id)->pc_acpi_id = apic_id;
184.108.40.206 (Apple Git-26)
email@example.com mailing list
To unsubscribe, send any mail to "freebsd-xen-unsubscr...@freebsd.org"