Install as Xen PV guest on 32-bit host

view story

http://forums.fedoraforum.org – Hello, I want to install F19 as a Xen guest on a Debian 7 host. The computer is 32-bit and has no hardware virtualization. Booting the iso fails due to missing Xen modules from the iso. I was under the impression that modern kernels support Xen out of the box - is that for 64-bit only? Does Fedora have a special Xen kernel for 32-bit? Is it possible to replace the kernel in the installation iso with the special Xen kernel? Thanks! (HowTos)