Another update (kernel-2.6.31-1.2.68.xendom0.fc12) is available at http://koji.fedoraproject.org/koji/taskinfo?taskID=1691729 and via the repository http://fedorapeople.org/~myoung/dom0/ . This update switches to the xen/master branch. Michael Young