## SPDX-License-Identifier: GPL-2.0-only if VENDOR_PORTWELL choice prompt "Mainboard model" source "src/mainboard/portwell/*/Kconfig.name" endchoice source "src/mainboard/portwell/*/Kconfig" config MAINBOARD_VENDOR default "Portwell" endif # VENDOR_PORTWELL