1# 2# PPS support configuration 3# 4 5menu "PPS support" 6 7config 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. 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 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 41endif 42 43source drivers/pps/clients/Kconfig 44 45source drivers/pps/generators/Kconfig 46 47endmenu 48