http://redhat.download.fedoraproject.org/pub/fedora/linux/core/development/x86_64//os/images/xen doesn't exist. Is he coming back? Sorry I had a flick through devel-list archives but didn't see a matching subject.