From ccc32f33c58c064f679aca281b46b84ca47511f9 Mon Sep 17 00:00:00 2001 From: Jo-Philipp Wich Date: Sat, 31 Jan 2015 22:23:01 +0000 Subject: [PATCH] x86_64: add more symbols required to enable SMP Signed-off-by: Jo-Philipp Wich SVN-Revision: 44233 --- target/linux/x86_64/config-default | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/target/linux/x86_64/config-default b/target/linux/x86_64/config-default index 8b9bc04f66..d375086bfb 100644 --- a/target/linux/x86_64/config-default +++ b/target/linux/x86_64/config-default @@ -304,6 +304,7 @@ CONFIG_KVM_GUEST=y CONFIG_LPC_ICH=y # CONFIG_MACHZ_WDT is not set # CONFIG_MATOM is not set +# CONFIG_MAXSMP is not set # CONFIG_MCORE2 is not set # CONFIG_MEMORY_HOTPLUG is not set # CONFIG_MEMTEST is not set @@ -334,6 +335,7 @@ CONFIG_NLS=y CONFIG_NO_BOOTMEM=y CONFIG_NR_CPUS=8 # CONFIG_NTB is not set +# CONFIG_NUMA is not set CONFIG_NVRAM=y CONFIG_OPROFILE_NMI_TIMER=y # CONFIG_OPTIMIZE_INLINING is not set @@ -342,6 +344,7 @@ CONFIG_PAGEFLAGS_EXTENDED=y CONFIG_PARAVIRT=y CONFIG_PARAVIRT_CLOCK=y # CONFIG_PARAVIRT_DEBUG is not set +# CONFIG_PARAVIRT_SPINLOCKS is not set # CONFIG_PARAVIRT_TIME_ACCOUNTING is not set # CONFIG_PC87413_WDT is not set CONFIG_PCI=y @@ -391,8 +394,10 @@ CONFIG_SERIO_LIBPS2=y CONFIG_SERIO_SERPORT=y # CONFIG_SLAB is not set CONFIG_SLUB=y +CONFIG_SLUB_CPU_PARTIAL=y CONFIG_SLUB_DEBUG=y # CONFIG_SLUB_DEBUG_ON is not set +CONFIG_SMP=y # CONFIG_SMSC37B787_WDT is not set # CONFIG_SMSC_SCH311X_WDT is not set CONFIG_SPARSEMEM=y @@ -460,7 +465,6 @@ CONFIG_VT_HW_CONSOLE_BINDING=y CONFIG_WATCHDOG_CORE=y CONFIG_X86=y CONFIG_X86_64=y -CONFIG_X86_64_SMP=y # CONFIG_X86_ACPI_CPUFREQ is not set # CONFIG_X86_CHECK_BIOS_CORRUPTION is not set CONFIG_X86_CMOV=y -- 2.30.2