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_PARPORT 27 tristate "Parallel port PPS signal generator" 28 depends on PARPORT && BROKEN 29 help 30 If you say yes here you get support for a PPS signal generator which 31 utilizes STROBE pin of a parallel port to send PPS signals. It uses 32 parport abstraction layer and hrtimers to precisely control the signal. 33 34config PPS_GENERATOR_TIO 35 tristate "TIO PPS signal generator" 36 depends on X86 && CPU_SUP_INTEL 37 help 38 If you say yes here you get support for a PPS TIO signal generator 39 which generates a pulse at a prescribed time based on the system clock. 40 It uses time translation and hrtimers to precisely generate a pulse. 41 This hardware is present on 2019 and newer Intel CPUs. However, this 42 driver is not useful without adding highly specialized hardware outside 43 the Linux system to observe these pulses. 44 45 To compile this driver as a module, choose M here: the module 46 will be called pps_gen_tio. 47 48 If unsure, say N. 49 50endif # PPS_GENERATOR 51