diff options
Diffstat (limited to 'src/arch')
-rw-r--r-- | src/arch/x86/Kconfig | 9 |
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. |