mb/google/fatcat: config GPP_F23 as ISH gpio pin
[coreboot.git] / src / mainboard / portwell / Kconfig
blobe6a97ffc3a7464610ded5c5197fd134051276845
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if VENDOR_PORTWELL
5 choice
6         prompt "Mainboard model"
8 source "src/mainboard/portwell/*/Kconfig.name"
10 endchoice
12 source "src/mainboard/portwell/*/Kconfig"
14 config MAINBOARD_VENDOR
15         default "Portwell"
17 endif # VENDOR_PORTWELL