On Fri, 26 Mar 2010, Pasi Kärkkäinen wrote: >>> xen-4.0.0-rc7 src.rpm from M A Young seems to work OK for me: >>> http://fedorapeople.org/~myoung/dom0/src/xen-4.0.0-0.5.rc7.fc12.src.rpm Now http://fedorapeople.org/~myoung/dom0/src/xen-4.0.0-0.6.rc8.fc12.src.rpm Michael Young