diff -rup Sys-Virt-TCK-0.1.0.orig/conf/default.cfg Sys-Virt-TCK-0.1.0.new/conf/default.cfg --- Sys-Virt-TCK-0.1.0.orig/conf/default.cfg 2009-07-22 18:33:55.000000000 +0100 +++ Sys-Virt-TCK-0.1.0.new/conf/default.cfg 2009-08-26 16:17:10.000000000 +0100 @@ -54,8 +54,8 @@ kernels = ( hvm xen ) - kernel = http://download.fedora.redhat.com/pub/fedora/linux/releases/11/Fedora/i386/os/images/pxeboot/vmlinuz - initrd = http://download.fedora.redhat.com/pub/fedora/linux/releases/11/Fedora/i386/os/images/pxeboot/initrd.img + kernel = http://download.fedora.redhat.com/pub/fedora/linux/releases/11/Fedora/i386/os/images/pxeboot/vmlinuz-PAE + initrd = http://download.fedora.redhat.com/pub/fedora/linux/releases/11/Fedora/i386/os/images/pxeboot/initrd-PAE.img } # Fedora 11 x86_64 has pv_ops, so one kernel can do both Xen and KVM guests here {