> > That depends if anyone is working on it.  You can always try and donate
> > a VT (or SVM which is the AMD counterpart)-enabled system to Manuel with
> > hope it could speed up the process :-)
>
> That wouldn't help for now, I'm way too overloaded. We first need to have
> proper ACPI support in Xen so that we can run Xen3 on SMP systems.
> shouldn't be too hard, but I need to figure details of ACPI first and
> I've got no time to look at this in the last weeks.
> Then I'd like to get SMP support in NetBSD/Xen3
> Then I'd like to have working x86_64 support (there is an openbsd port
> of this)
> Then I can look at misc features of Xen that we don't support yet :)

I will be soon getting a core 2 duo cpu and was hoping to be able to run
unmodified guests systems :(

I'll be there if tests are required about ACPI, SMP, 64 bits support, VT, ...

Thanks for the great work Manuel !

-pierrick