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? Steve -- Steven Pritchard - K&S Pritchard Enterprises, Inc. Email: steve@xxxxxxxxx http://www.kspei.com/ Phone: (618)398-3000 Mobile: (618)567-7320