# SPDX-License-Identifier: GPL-2.0-only
#
# intel_tio support configuration
#

config INTEL_TIO_PLAT
	tristate "Intel TIO Platform Driver"
	depends on X86 && CPU_SUP_INTEL && AUXILIARY_BUS
	select PPS_GENERATOR_TIO
	select PPS_CLIENT_TIO
	help
	  If you say yes here you get support for a PPS TIO platform driver.

	  This driver registers an ACPI-based PPS sources and instantiates
	  auxiliary child devices based on TIO hardware resource count used
	  for generation and syncing of timestamp.

	  To compile this driver as a module, choose M here:

	  If unsure, say N.

