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