41a8997357
Change-Id: Id859c981d0bf5dcf90bf6858607a9fe726516309 Signed-off-by: Martin Roth <gaumless@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/80592 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Yidi Lin <yidilin@google.com> Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
18 lines
237 B
Plaintext
18 lines
237 B
Plaintext
## SPDX-License-Identifier: GPL-2.0-only
|
|
|
|
if VENDOR_HP
|
|
|
|
choice
|
|
prompt "Mainboard model"
|
|
|
|
source "src/mainboard/hp/*/Kconfig.name"
|
|
|
|
endchoice
|
|
|
|
source "src/mainboard/hp/*/Kconfig"
|
|
|
|
config MAINBOARD_VENDOR
|
|
default "HP"
|
|
|
|
endif # VENDOR_HP
|