GNU Linux-libre 4.9.328-gnu1
[releases.git] / drivers / pps / Kconfig
1 #
2 # PPS support configuration
3 #
4
5 menu "PPS support"
6
7 config PPS
8         tristate "PPS support"
9         ---help---
10           PPS (Pulse Per Second) is a special pulse provided by some GPS
11           antennae. Userland can use it to get a high-precision time
12           reference.
13
14           Some antennae's PPS signals are connected with the CD (Carrier
15           Detect) pin of the serial line they use to communicate with the
16           host. In this case use the SERIAL_LINE client support.
17
18           Some antennae's PPS signals are connected with some special host
19           inputs so you have to enable the corresponding client support.
20
21           To compile this driver as a module, choose M here: the module
22           will be called pps_core.ko.
23 if PPS
24
25 config PPS_DEBUG
26         bool "PPS debugging messages"
27         help
28           Say Y here if you want the PPS support to produce a bunch of debug
29           messages to the system log.  Select this if you are having a
30           problem with PPS support and want to see more of what is going on.
31
32 config NTP_PPS
33         bool "PPS kernel consumer support"
34         depends on !NO_HZ_COMMON
35         help
36           This option adds support for direct in-kernel time
37           synchronization using an external PPS signal.
38
39           It doesn't work on tickless systems at the moment.
40
41 endif
42
43 source drivers/pps/clients/Kconfig
44
45 source drivers/pps/generators/Kconfig
46
47 endmenu