Hi,

I did setup a new testing system for Xen/Pvops. It's an Asrock P5B-DE with E2200 CPU.
I installed Debian Lenny 5.0.5 64 Bit and compiled Xen 4.0.1 according to Pasi's Xen4
XenWiki page, fetched latest 2.6.32 pvops Kernel according to the PvOps XenWiki
page, which was a 2.6.32.18 and is now a 2.6.32.21.

I managed to set up serial debugging, so that I can provide the attached logs. If you need
more, let me know.

I sent this already to Jeremy, but Pasi recommended to send it to Xen-Devel also. Jeremy,
sorry, I mixed numbers a bit. We are speaking about 2.6.32 (xen/stable, I guess).

BR,
Carsten.