Hi Andy
On Sun, Jan 17, 2010 at 08:28, Andy Smith <andy(a)bitfolk.com> wrote:
Where did you get your kernel source from? I
downloaded source from
kernel.org and it had no CONFIG_XEN* options in it.
It is just a standard
kernel.org source. Most likely HIGHMEM being set
to 4gb or 64gb? This would hides the option for PAE support and then
XEN.
The Xen options that I enabled in stock
kernel.org have the following
base requirements:
Depends on: PARAVIRT_GUEST [=y] && (X86_64 [=n] || X86_32 [=y] &&
X86_PAE [=y] && !X86_VISWS [=n]) && X86_CMPXCHG
But that guide is for recompiling the distribution's current kernel
from the distribution's source package, right?
Suppose it is, but it seems to overlay any recent kernel with its
build system and just work!
Cheers,
Andy
I can send you my config off-list if I is any use?
Kind Regards,
--
David Connolly