ia64/xen-unstable

changeset 5692:2db810d7985f

Enable CONFIG_SMP, CONFIG_SMP_HOTPLUG and CONFIG_SMP_ALTERNATIVES in the -xenU default kernel.
Signed-off-by: ian@xensource.com
author iap10@freefall.cl.cam.ac.uk
date Wed Jul 06 22:54:29 2005 +0000 (2005-07-06)
parents 88c2d410979f
children 43bfa1a81aa0
files linux-2.6.11-xen-sparse/arch/xen/configs/xenU_defconfig_x86_32
line diff
     1.1 --- a/linux-2.6.11-xen-sparse/arch/xen/configs/xenU_defconfig_x86_32	Wed Jul 06 22:23:18 2005 +0000
     1.2 +++ b/linux-2.6.11-xen-sparse/arch/xen/configs/xenU_defconfig_x86_32	Wed Jul 06 22:54:29 2005 +0000
     1.3 @@ -1,7 +1,7 @@
     1.4  #
     1.5  # Automatically generated make config: don't edit
     1.6  # Linux kernel version: 2.6.11.12-xenU
     1.7 -# Wed Jul  6 17:44:54 2005
     1.8 +# Wed Jul  6 22:40:19 2005
     1.9  #
    1.10  CONFIG_XEN=y
    1.11  CONFIG_ARCH_XEN=y
    1.12 @@ -28,7 +28,6 @@ CONFIG_HAVE_ARCH_DEV_ALLOC_SKB=y
    1.13  #
    1.14  CONFIG_EXPERIMENTAL=y
    1.15  CONFIG_CLEAN_COMPILE=y
    1.16 -CONFIG_BROKEN_ON_SMP=y
    1.17  CONFIG_LOCK_KERNEL=y
    1.18  
    1.19  #
    1.20 @@ -69,6 +68,7 @@ CONFIG_OBSOLETE_MODPARM=y
    1.21  # CONFIG_MODVERSIONS is not set
    1.22  # CONFIG_MODULE_SRCVERSION_ALL is not set
    1.23  CONFIG_KMOD=y
    1.24 +CONFIG_STOP_MACHINE=y
    1.25  
    1.26  #
    1.27  # X86 Processor Configuration
    1.28 @@ -114,7 +114,10 @@ CONFIG_X86_INTEL_USERCOPY=y
    1.29  CONFIG_X86_USE_PPRO_CHECKSUM=y
    1.30  # CONFIG_HPET_TIMER is not set
    1.31  # CONFIG_HPET_EMULATE_RTC is not set
    1.32 -# CONFIG_SMP is not set
    1.33 +CONFIG_SMP=y
    1.34 +CONFIG_SMP_ALTERNATIVES=y
    1.35 +CONFIG_NR_CPUS=8
    1.36 +# CONFIG_SCHED_SMT is not set
    1.37  CONFIG_PREEMPT=y
    1.38  CONFIG_PREEMPT_BKL=y
    1.39  CONFIG_X86_CPUID=y
    1.40 @@ -128,6 +131,7 @@ CONFIG_HIGHMEM4G=y
    1.41  CONFIG_HIGHMEM=y
    1.42  CONFIG_HAVE_DEC_LOCK=y
    1.43  # CONFIG_REGPARM is not set
    1.44 +CONFIG_HOTPLUG_CPU=y
    1.45  
    1.46  #
    1.47  # Kernel hacking
    1.48 @@ -153,7 +157,9 @@ CONFIG_EARLY_PRINTK=y
    1.49  # CONFIG_4KSTACKS is not set
    1.50  CONFIG_GENERIC_HARDIRQS=y
    1.51  CONFIG_GENERIC_IRQ_PROBE=y
    1.52 +CONFIG_X86_SMP=y
    1.53  CONFIG_X86_BIOS_REBOOT=y
    1.54 +CONFIG_X86_TRAMPOLINE=y
    1.55  CONFIG_PC=y
    1.56  
    1.57  #