On Wed, 29 Jun 2011, Steven Haigh wrote:

> I haven't tried those particular Xen RPMs - however there is no kernel in 
> that repo - only the Xen hypervisor.

I pasted a bit low at the site ... go up and over a bit and 
you'll get:
 	http://xenbits.xen.org/people/mayoung/testing/SRPMS/

which has the kernel, presently a:
 	kernel-2.6.32-71.29.1.el6.xendom0.src.rpm

-- Russ herrold