46 lines · plain
1# SPDX-License-Identifier: GPL-2.0-only2#3# PPS support configuration4#5 6menuconfig PPS7 tristate "PPS support"8 help9 PPS (Pulse Per Second) is a special pulse provided by some GPS10 antennae. Userland can use it to get a high-precision time11 reference.12 13 Some antennae's PPS signals are connected with the CD (Carrier14 Detect) pin of the serial line they use to communicate with the15 host. In this case use the SERIAL_LINE client support.16 17 Some antennae's PPS signals are connected with some special host18 inputs so you have to enable the corresponding client support.19 20 To compile this driver as a module, choose M here: the module21 will be called pps_core.ko.22 23if PPS24 25config PPS_DEBUG26 bool "PPS debugging messages"27 help28 Say Y here if you want the PPS support to produce a bunch of debug29 messages to the system log. Select this if you are having a30 problem with PPS support and want to see more of what is going on.31 32config NTP_PPS33 bool "PPS kernel consumer support"34 depends on !NO_HZ_COMMON35 help36 This option adds support for direct in-kernel time37 synchronization using an external PPS signal.38 39 It doesn't work on tickless systems at the moment.40 41source "drivers/pps/clients/Kconfig"42 43source "drivers/pps/generators/Kconfig"44 45endif # PPS46