Hello, I just posted two Xen related Fedora kernel bugs to bugzilla: "Fedora 32bit PAE kernel crashes as Xen PV guest, CONFIG_HIGHPTE xen_set_pte() bug/race": https://bugzilla.redhat.com/show_bug.cgi?id=566932 "Fedora 2.6.31 kernel save/restore/migration crashes on Xen PV guest": https://bugzilla.redhat.com/show_bug.cgi?id=566930 Just a heads up for the people reading the list :) -- Pasi -- xen mailing list xen@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/xen