summaryrefslogtreecommitdiff
path: root/src/arch/x86/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'src/arch/x86/Kconfig')
-rw-r--r--src/arch/x86/Kconfig9
1 files changed, 9 insertions, 0 deletions
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig
index 581a0484f7..0a21fcc99a 100644
--- a/src/arch/x86/Kconfig
+++ b/src/arch/x86/Kconfig
@@ -48,6 +48,15 @@ config MAX_REBOOT_CNT
int
default 3
+# This is something you almost certainly don't want to mess with.
+# How many SIPIs do we send when starting up APs and cores?
+# The answer in 2000 or so was '2'. Nowadays, on many systems,
+# it is 1. Set a safe default here, and you can override it
+# on reasonable platforms.
+config NUM_IPI_STARTS
+ int
+ default 2
+
# We had to rename the choice options under arch/ because otherwise
# the options would conflict between different architectures despite
# the if ARCH_xxx guarding the arch/xxx/Kconfig sourcing.