mb/ocp/tiogapass: Fix GPIOs
[coreboot2.git] / src / mainboard / dell / Kconfig.name
blob587fd8737e9fa15dde866b86b9d8b1ca03590fa1
1 ## SPDX-License-Identifier: GPL-2.0-only
3 config VENDOR_DELL
4         bool "Dell Inc."