Michael Young -- xen mailing list xen@lists.fedoraproject.org https://admin.fedoraproject.org/mailman/listinfo/xen
I have built 4.1.3-rc1 for F17 and it is temporarily available for testing
at http://koji.fedoraproject.org/koji/taskinfo?taskID=4063767 .