HEAD UP acpi/mpbios/ioapic support commited

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 <bouyerantioche.eu.org>
     NetBSD: 26 ans d'experience feront toujours la
difference
--