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>
This commit is contained in:
parent
91a48367a4
commit
48fa6dd8f9
@ -135,15 +135,6 @@ config X86_TOP4G_BOOTMEDIA_MAP
|
|||||||
depends on !X86_CUSTOM_BOOTMEDIA
|
depends on !X86_CUSTOM_BOOTMEDIA
|
||||||
default y
|
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
|
config PRERAM_CBMEM_CONSOLE_SIZE
|
||||||
hex
|
hex
|
||||||
default 0xc00
|
default 0xc00
|
||||||
|
Loading…
x
Reference in New Issue
Block a user