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