Comments
Patch
===================================================================
@@ -404,6 +404,19 @@ config GDB_STUB
If enabled, you will be able to set breakpoints for gdb debugging.
See src/arch/i386/lib/c_start.S for details.
+config LOGICAL_CPUS
+ bool "Enable all cores on multicore CPUs"
+ depends on EXPERT
+ help
+ This should always be y except if you are debugging race conditions.
+
+config SMP
+ bool "Enable SMP"
+ depends on EXPERT && MAX_PHYSICAL_CPUS != 1
+ depends on !LOGICAL_CPUS
+ help
+ This should always be y except if you are debugging race conditions.
+
endmenu
config LIFT_BSP_APIC_ID