diff options
| author | Elyes Haouas <ehaouas@noos.fr> | 2023-01-20 09:47:41 +0100 |
|---|---|---|
| committer | Elyes Haouas <ehaouas@noos.fr> | 2023-01-21 09:13:28 +0000 |
| commit | 48fa6dd8f9a8f78f94d508b0a105e2ddaacf99ba (patch) | |
| tree | 69b6a10da754ae1463aed088a74990e62f8a21e8 /src/arch/x86/Kconfig | |
| parent | 91a48367a4cd3864d4133adcd28a04e5fc007d99 (diff) | |
arch/x86/Kconfig: Remove unused NUM_IPI_STARTS
Change-Id: I3b781c42ef6c23a5dcd31215c14fb9d7104822f2
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/72144
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'src/arch/x86/Kconfig')
| -rw-r--r-- | src/arch/x86/Kconfig | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/arch/x86/Kconfig b/src/arch/x86/Kconfig index 1f5a37f056..8d2295b7ad 100644 --- a/src/arch/x86/Kconfig +++ b/src/arch/x86/Kconfig @@ -135,15 +135,6 @@ config X86_TOP4G_BOOTMEDIA_MAP depends on !X86_CUSTOM_BOOTMEDIA default y -# 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 - config PRERAM_CBMEM_CONSOLE_SIZE hex default 0xc00 |