I was able to compile a kernel for AMD 64-bit paravitualization and run it, and also for 32 Intel. However, when I try to enable paravirtualization for a 64 bit guest on a Intel server, it will not start. (Shortly into the bootup process it complains af if it is not a 64-bit cpu). Anyone else have this problem, and/or able to get paravirtualization to work with a 64 bit guest on Intel? (This is on a quad core Xeon, so fairly new CPU).