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
9