Change-Id: Ied455ff29b151fb5f4bca26a189b1d4104d8cede Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/80595 Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de> Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
18 lines
277 B
Plaintext
18 lines
277 B
Plaintext
## SPDX-License-Identifier: GPL-2.0-only
|
|
|
|
if VENDOR_SUPERMICRO
|
|
|
|
choice
|
|
prompt "Mainboard model"
|
|
|
|
source "src/mainboard/supermicro/*/Kconfig.name"
|
|
|
|
endchoice
|
|
|
|
source "src/mainboard/supermicro/*/Kconfig"
|
|
|
|
config MAINBOARD_VENDOR
|
|
default "Supermicro"
|
|
|
|
endif # VENDOR_SUPERMICRO
|