cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

Kconfig (1285B)


      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