drivers/pps/generators/Kconfig

Source file repositories/reference/linux-study-clean/drivers/pps/generators/Kconfig

File Facts

System
Linux kernel
Corpus path
drivers/pps/generators/Kconfig
Extension
[no extension]
Size
1365 bytes
Lines
43
Domain
Driver Families
Bucket
drivers/pps
Inferred role
Driver Families: build/configuration rule
Status
atlas-only

Why This File Exists

Repeatable hardware-adapter layer. Deep compatibility for every driver is out of scope; this atlas records patterns, probe lifecycles, bus glue, IRQ/DMA usage, and links back to core abstractions.

Dependency Surface

Detected Declarations

Annotated Snippet

# 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

Annotation

Implementation Notes