Hi,
I just commited support for ACPI, MPBIOS and ioapic for Xen3/dom0 to current.
This should help for peoples using NetBSD/Xen as dom0 on a Xen3 SMP system.
See i386/conf/XEN3_DOM0 for configuration details; note that XEN3_DOM0
has ACPI, MPBIOS and ioapic support by default.

There is a user-visible change in the way CPUs are configured, and you'll
have to update your kernel config files: there are now two different objects
for physical and virtual CPUs (physical CPUs are only usefull in dom0,
to get and print the APIC ids of the physical CPUs - this is informational
only). For all Xen3 kernel config files you have to move
cpu* at mainbus?
to
vcpu* at hypervisor?

For dom0 kernels you also have to keep cpu* at mainbus? (i.e. have both
cpu and vcpu). This is a first (very small, but still :) step toward
SMP support ...

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la difference
--