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