Here is another update. (kernel-2.6.31-0.1.2.52.rc6.xendom0.fc12) at
http://koji.fedoraproject.org/koji/taskinfo?taskID=1605651 and the repository http://fedorapeople.org/~myoung/dom0/ . I have had trouble getting x86_64 kernels built over the last week or so to boot, but this one does work. I haven't tried i686.
Michael Young
--
Fedora-xen mailing list
Fedora-xen@redhat.com
https://www.redhat.com/mailman/listinfo/fedora-xen