Adventures in Xen 4.3.1

So, if you want to compile XEN in KVM1), you'll want to define a CPU type. Without a specific CPU identified, gmp will assume a 32bit ABI and fail.

~~LINKBACK~~

1)
I use Xen on servers, KVM on desktops