mb/ocp/tiogapass: Fix GPIOs
[coreboot2.git] / src / mainboard / dell / Kconfig
blob547cf3178a04ab282140c4eb7eac4098d3dc703f
1 ## SPDX-License-Identifier: GPL-2.0-only
3 if VENDOR_DELL
5 choice
6         prompt "Mainboard model"
8 source "src/mainboard/dell/*/Kconfig.name"
10 endchoice
12 source "src/mainboard/dell/*/Kconfig"
14 config MAINBOARD_VENDOR
15         string
16         default "Dell Inc."
18 endif # VENDOR_DELL