From 48fa6dd8f9a8f78f94d508b0a105e2ddaacf99ba Mon Sep 17 00:00:00 2001 From: Elyes Haouas Date: Fri, 20 Jan 2023 09:47:41 +0100 Subject: arch/x86/Kconfig: Remove unused NUM_IPI_STARTS Change-Id: I3b781c42ef6c23a5dcd31215c14fb9d7104822f2 Signed-off-by: Elyes Haouas Reviewed-on: https://review.coreboot.org/c/coreboot/+/72144 Tested-by: build bot (Jenkins) Reviewed-by: Felix Held --- src/arch/x86/Kconfig | 9 --------- 1 file changed, 9 deletions(-) (limited to 'src') 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 -- cgit v1.2.3