build vmxloader from xen-3.0.1-4.src.rpm on FC5?

[thomas.vonsteiger at bluewin.ch]

Hello,

I try to build vmx Domains with FC5 on VT Hardware.
For this I need /usr/lib/xen/boot/vmxloader.
This binary is missing if the fc5 xen rpm is installed.
Can I build this binary with xen-3.0.1-4.src.rpm ?
Is there a compile flag to enable vmx support ?

Regards,
Thomas