If anyone wants to test xen 4.0.1-rc4, there are RPMs at http://koji.fedoraproject.org/koji/taskinfo?taskID=2324778 compiled for Fedora 13 Michael Young