http://bugzilla.xensource.com/bugzilla/show_bug.cgi?id=368

vinc...@cl.cam.ac.uk changed:

What |Removed |Added ---------------------------------------------------------------------------- Platform|All |x86-64 Summary|"vcpus" does not support in |"vcpus" not supported in |IA32E |x86-64

------- Additional Comments From vinc...@cl.cam.ac.uk 2005-11-23 13:06
------- are you trying to boot a 32 bit domain on 64 bits ? Guest OS is ia32/ia32e what does that mean ? please add the guest domain dmesg as well, "could not boot" is way too vague.

(please don't use "ia32e" marketing name, it's just confusing, x86-64 is much preferred. setting title and hardware category to x86-64)