src/kernel/linux/v4.14/drivers/ipack/carriers/Kconfig

config BOARD_TPCI200
	tristate "Support for the TEWS TPCI-200 IndustryPack carrier board"
	depends on IPACK_BUS
	depends on PCI
	help
	  This driver adds support for the TEWS TPCI200 IndustryPack carrier board.
	default n