I have built a new kernel (kernel-126.96.36.199-157.xendom0.fc12) at
or at the
repository which has a new location of
(which fits in
with new repository layout on fedorapeople.org
). The old repository
location will continue to work for now.
Note that the version numbering of this kernel has changed because of
changes related to the Fedora software repository changing from CVS to
git, so it might be more recent that other Fedora 12 kernels. Also this
kernel has more things built as modules - my most recent 4.x versions of
xen will load the modules xen-gntdev xen-evtchn xen-blkback xen-netback
for you which are probably the ones you need, but for other xen builds you
might need to load them by hand (eg with modprobe).