1## SPDX-License-Identifier: GPL-2.0-only 2 3if VENDOR_HP 4 5choice 6 prompt "Mainboard model" 7 8source "src/mainboard/hp/*/Kconfig.name" 9 10endchoice 11 12source "src/mainboard/hp/*/Kconfig" 13 14config MAINBOARD_VENDOR 15 default "HP" 16 17endif # VENDOR_HP 18