diff options
Diffstat (limited to 'drivers/pps/Kconfig')
| -rw-r--r-- | drivers/pps/Kconfig | 16 |
1 files changed, 14 insertions, 2 deletions
diff --git a/drivers/pps/Kconfig b/drivers/pps/Kconfig index 1afe4e03440..7512e98e931 100644 --- a/drivers/pps/Kconfig +++ b/drivers/pps/Kconfig @@ -6,7 +6,6 @@ menu "PPS support" config PPS tristate "PPS support" - depends on EXPERIMENTAL ---help--- PPS (Pulse Per Second) is a special pulse provided by some GPS antennae. Userland can use it to get a high-precision time @@ -21,15 +20,28 @@ config PPS To compile this driver as a module, choose M here: the module will be called pps_core.ko. +if PPS config PPS_DEBUG bool "PPS debugging messages" - depends on PPS help Say Y here if you want the PPS support to produce a bunch of debug messages to the system log. Select this if you are having a problem with PPS support and want to see more of what is going on. +config NTP_PPS + bool "PPS kernel consumer support" + depends on !NO_HZ + help + This option adds support for direct in-kernel time + synchronization using an external PPS signal. + + It doesn't work on tickless systems at the moment. + +endif + source drivers/pps/clients/Kconfig +source drivers/pps/generators/Kconfig + endmenu |