On Wed, 2005-03-16 at 21:43 -0600, Steven Pritchard wrote: > I just noticed that there are no kernel-xen[0U] rpms for x86_64 in > FC4t1 or rawhide. Is this a temporary situation, or do I reinstall > i386 FC4t1 in order to try it out? Xen isn't really working on x86_64 yet and thus is 32-bit x86 only at present. Hopefully it will be ready before FC4 is released, but if not, we'll deal with what we have. Jeremy