ARK-OS/arkos/kernel/drivers/pps/generators/Kconfig

# SPDX-License-Identifier: GPL-2.0-only
#
# PPS generators configuration
#

menuconfig PPS_GENERATOR
	tristate "PPS generators support"
	help
	  PPS generators are special hardware which are able to produce PPS
	  (Pulse Per Second) signals.

	  To compile this driver as a module, choose M here: the module
	  will be called pps_gen_core.

if PPS_GENERATOR

config PPS_GENERATOR_DUMMY
        tristate "Dummy PPS generator (Testing generator, use for debug)"
        help
          If you say yes here you get support for a PPS debugging generator
          (which generates no PPS signal at all).

          This driver can also be built as a module.  If so, the module
          will be called pps_gen-dummy.

config PPS_GENERATOR_TIO
	tristate "TIO PPS signal generator"
	depends on X86 && CPU_SUP_INTEL
	help
	  If you say yes here you get support for a PPS TIO signal generator
	  which generates a pulse at a prescribed time based on the system clock.
	  It uses time translation and hrtimers to precisely generate a pulse.
	  This hardware is present on 2019 and newer Intel CPUs. However, this
	  driver is not useful without adding highly specialized hardware outside
	  the Linux system to observe these pulses.

	  To compile this driver as a module, choose M here: the module
	  will be called pps_gen_tio.

	  If unsure, say N.

endif # PPS_GENERATOR