lkml.org 
[lkml]   [2006]   [May]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    Date
    From
    SubjectRe: [RFC PATCH 01/35] Add XEN config options and disable unsupported config options.
    On Tue, May 09, 2006 at 07:47:12AM -0700, Daniel Walker wrote:
    > On Tue, 2006-05-09 at 00:00 -0700, Chris Wright wrote:
    > > The disabled config options are:
    > > - DOUBLEFAULT: are trapped by Xen and not virtualized
    > > - HZ: defaults to 100 in Xen VMs
    > > - Power management: not supported in unprivileged VMs
    > > - SMP: not supported in this set of patches
    > > - X86_{UP,LOCAL,IO}_APIC: not supported in unprivileged VMs
    > >
    > > +++ linus-2.6/arch/i386/Kconfig
    > > @@ -55,6 +55,7 @@ menu "Processor type and features"
    > >
    > > config SMP
    > > bool "Symmetric multi-processing support"
    > > + depends on !X86_XEN
    > > ---help---
    > > This enables support for systems with more than one CPU. If you have
    > > a system with only one CPU, like most personal computers, say N. If
    > > @@ -91,6 +92,12 @@ config X86_PC
    > > help
    > > Choose this option if your computer is a standard PC or compatible.
    > >
    > > +config X86_XEN
    > > + bool "Xen-compatible"
    > > + help
    > > + Choose this option if you plan to run this kernel on top of the
    > > + Xen Hypervisor.
    > > +
    >
    > Couldn't you just add "depends on !SMP && .." to the config X86_XEN
    > block ?

    I guess you could, but it would make it rather non-obvious and tedious
    to enable X86_XEN then, wouldn't it?

    christian

    -
    To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
    the body of a message to majordomo@vger.kernel.org
    More majordomo info at http://vger.kernel.org/majordomo-info.html
    Please read the FAQ at http://www.tux.org/lkml/

    \
     
     \ /
      Last update: 2006-05-09 17:19    [W:0.023 / U:0.568 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site