Another dom0 kernel is available at
http://koji.fedoraproject.org/koji/taskinfo?taskID=2107643 or from the
(rc) or 4.0.0 eg. built from the source RPM
http://fedorapeople.org/~myoung/dom0/src/xen-4.0.0-0.7.fc12.src.rpm
This has STACKPROTECTOR turned back on, the xen includes in
kernel-devel that some of you requested, and I think PAT code has been
added to the pvops source since the last kernel I announced.
Michael Young