Kconfig

1# SPDX-License-Identifier: GPL-2.0-only
2config BOARD_TPCI200
3	tristate "Support for the TEWS TPCI-200 IndustryPack carrier board"
4	depends on IPACK_BUS
5	depends on PCI
6	help
7	  This driver adds support for the TEWS TPCI200 IndustryPack carrier board.
8	default n