I have built another 2.6.32.x based kernel (2.6.32.26-174.xendom0.fc12) at http://koji.fedoraproject.org/koji/taskinfo?taskID=2618746 and the repository http://repos.fedorapeople.org/repos/myoung/dom0-kernel/ which updates to 2.6.32.26 and a later version of xen/stable-2.6.3.32.x. Michael Young