Red Hat Wants Xen in Linux Kernel