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