1# SPDX-License-Identifier: GPL-2.0-only 2# 3# PPS generators configuration 4# 5 6menuconfig PPS_GENERATOR 7 tristate "PPS generators support" 8 help 9 PPS generators are special hardware which are able to produce PPS 10 (Pulse Per Second) signals. 11 12 To compile this driver as a module, choose M here: the module 13 will be called pps_gen_core. 14 15if PPS_GENERATOR 16 17config PPS_GENERATOR_DUMMY 18 tristate "Dummy PPS generator (Testing generator, use for debug)" 19 help 20 If you say yes here you get support for a PPS debugging generator 21 (which generates no PPS signal at all). 22 23 This driver can also be built as a module. If so, the module 24 will be called pps_gen-dummy. 25 26config PPS_GENERATOR_TIO 27 tristate "TIO PPS signal generator" 28 depends on X86 && CPU_SUP_INTEL 29 help 30 If you say yes here you get support for a PPS TIO signal generator 31 which generates a pulse at a prescribed time based on the system clock. 32 It uses time translation and hrtimers to precisely generate a pulse. 33 This hardware is present on 2019 and newer Intel CPUs. However, this 34 driver is not useful without adding highly specialized hardware outside 35 the Linux system to observe these pulses. 36 37 To compile this driver as a module, choose M here: the module 38 will be called pps_gen_tio. 39 40 If unsure, say N. 41 42endif # PPS_GENERATOR 43