Merge tag 'vfio-for-v3.10' of git://github.com/awilliam/linux-vfio

[karo-tx-linux.git] / drivers / pps / Kconfig

diff --git a/drivers/pps/Kconfig b/drivers/pps/Kconfig
index 258ca596e1bcce7fc0af5229fddd7b0bfef4174a..7512e98e9311055b431ce5eca775a9de508a31be 100644 (file)
--- 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,10 +20,10 @@ 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
@@ -32,13 +31,15 @@ config PPS_DEBUG
 
 config NTP_PPS
        bool "PPS kernel consumer support"
-       depends on PPS && !NO_HZ
+       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