linux/drivers/pps/Kconfig
<<
>>
Prefs
   1# SPDX-License-Identifier: GPL-2.0-only
   2#
   3# PPS support configuration
   4#
   5
   6menuconfig PPS
   7        tristate "PPS support"
   8        help
   9          PPS (Pulse Per Second) is a special pulse provided by some GPS
  10          antennae. Userland can use it to get a high-precision time
  11          reference.
  12
  13          Some antennae's PPS signals are connected with the CD (Carrier
  14          Detect) pin of the serial line they use to communicate with the
  15          host. In this case use the SERIAL_LINE client support.
  16
  17          Some antennae's PPS signals are connected with some special host
  18          inputs so you have to enable the corresponding client support.
  19
  20          To compile this driver as a module, choose M here: the module
  21          will be called pps_core.ko.
  22
  23if PPS
  24
  25config 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
  32config 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
  41source "drivers/pps/clients/Kconfig"
  42
  43source "drivers/pps/generators/Kconfig"
  44
  45endif # PPS
  46