Thanks for the reply. I had Ubuntu 7.10 x86_64 installed, and I
compiled the Xen 3.2 source that I downloaded from xen.org. So my
kernel is 2.6.18.8-xen x86_64 and I am running Xen 3.2. I had the
same problem with Xen 3.1.
Which version of the Linux kernel does RHEL-5.1 use? I'm curious to
know if the problem I am seeing is a result of something I did wrong
in compiling Xen, or if it is a kernel bug that has been fixed in a
later release of Linux.
-Gabriel
On Feb 11, 2008 10:42 PM, Chris Lalancette <clal...@redhat.com> wrote:
Hm, it would be helpful if you told us what version of Xen you are
running and which kernel you are running. For what it is worth, running
a RHEL-5.1 PV guest on a RHEL-5.1 dom0 (both x86_64) seems to do the
right thing for me; xm vcpu-set <dom> 1 updates both /proc/cpuinfo and
/proc/stat, and xm vcpu-set <dom> 2 updates both again.
5 messages in com.xensource.lists.xen-develRe: [Xen-devel] VCPU hotplug problem