mb/ocp/tiogapass: Fix GPIOs
[coreboot2.git] / src / mainboard / hardkernel / Kconfig
blobeff82b2e652acef6e65c8890f44b2f5d24224f87
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if VENDOR_HARDKERNEL
5 choice
6         prompt "Mainboard model"
8 source "src/mainboard/hardkernel/*/Kconfig.name"
10 endchoice
12 source "src/mainboard/hardkernel/*/Kconfig"
14 config MAINBOARD_VENDOR
15         default "Hardkernel"
17 endif # VENDOR_HARDKERNEL