blob: b3f340ed31630993c78b719542341a18440f540e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
# 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_PARPORT
tristate "Parallel port PPS signal generator"
depends on PARPORT && BROKEN
help
If you say yes here you get support for a PPS signal generator which
utilizes STROBE pin of a parallel port to send PPS signals. It uses
parport abstraction layer and hrtimers to precisely control the signal.
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
|
