diff options
author | Angel Pons <th3fanbus@gmail.com> | 2020-05-29 00:56:25 +0200 |
---|---|---|
committer | Felix Held <felix-coreboot@felixheld.de> | 2020-06-15 22:51:11 +0000 |
commit | 0f11e03220781be849a485dcbbe8c9ff7f5ba2b6 (patch) | |
tree | 128fe4a15fb6041a3993a14d1e0c108a4b094661 /src/mainboard/google/beltino/Kconfig | |
parent | a1dfce1ce055b853c8499185d05e4aa7ba8e0614 (diff) |
haswell boards: Factor out MAX_CPUS
ULT only has 4 threads, but we are not changing it here to preserve
binary reproducibility.
Change-Id: I041c5dff2de514244f9c919c4c475cca979c34ce
Signed-off-by: Angel Pons <th3fanbus@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/41842
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Diffstat (limited to 'src/mainboard/google/beltino/Kconfig')
-rw-r--r-- | src/mainboard/google/beltino/Kconfig | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/mainboard/google/beltino/Kconfig b/src/mainboard/google/beltino/Kconfig index f50d49c550..1e4fef6891 100644 --- a/src/mainboard/google/beltino/Kconfig +++ b/src/mainboard/google/beltino/Kconfig @@ -44,10 +44,6 @@ config MAINBOARD_FAMILY string default "Google_Beltino" -config MAX_CPUS - int - default 8 - config VGA_BIOS_FILE string default "pci8086,0406.rom" |