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