| 1 | # SPDX-License-Identifier: GPL-2.0-only |
| 2 | # |
| 3 | # PPS generators configuration |
| 4 | # |
| 5 | |
| 6 | menuconfig 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 | |
| 15 | if PPS_GENERATOR |
| 16 | |
| 17 | config 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 | |
| 26 | config 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 | |
| 42 | endif # PPS_GENERATOR |