0001 # SPDX-License-Identifier: GPL-2.0-only
0002 #
0003 # PPS support configuration
0004 #
0005
0006 menuconfig PPS
0007 tristate "PPS support"
0008 help
0009 PPS (Pulse Per Second) is a special pulse provided by some GPS
0010 antennae. Userland can use it to get a high-precision time
0011 reference.
0012
0013 Some antennae's PPS signals are connected with the CD (Carrier
0014 Detect) pin of the serial line they use to communicate with the
0015 host. In this case use the SERIAL_LINE client support.
0016
0017 Some antennae's PPS signals are connected with some special host
0018 inputs so you have to enable the corresponding client support.
0019
0020 To compile this driver as a module, choose M here: the module
0021 will be called pps_core.ko.
0022
0023 if PPS
0024
0025 config PPS_DEBUG
0026 bool "PPS debugging messages"
0027 help
0028 Say Y here if you want the PPS support to produce a bunch of debug
0029 messages to the system log. Select this if you are having a
0030 problem with PPS support and want to see more of what is going on.
0031
0032 config NTP_PPS
0033 bool "PPS kernel consumer support"
0034 depends on !NO_HZ_COMMON
0035 help
0036 This option adds support for direct in-kernel time
0037 synchronization using an external PPS signal.
0038
0039 It doesn't work on tickless systems at the moment.
0040
0041 source "drivers/pps/clients/Kconfig"
0042
0043 source "drivers/pps/generators/Kconfig"
0044
0045 endif # PPS
