Training courses

Kernel and Embedded Linux

Bootlin training courses

Embedded Linux, kernel,
Yocto Project, Buildroot, real-time,
graphics, boot time, debugging...

Bootlin logo

Elixir Cross Referencer

# SPDX-License-Identifier: GPL-2.0-only
#
# CONFIG_PPS support configuration
#

menuconfig CONFIG_PPS
	tristate "PPS support"
	---help---
	  CONFIG_PPS (Pulse Per Second) is a special pulse provided by some GPS
	  antennae. Userland can use it to get a high-precision time
	  reference.

	  Some antennae's CONFIG_PPS signals are connected with the CD (Carrier
	  Detect) pin of the serial line they use to communicate with the
	  host. In this case use the SERIAL_LINE client support.

	  Some antennae's CONFIG_PPS signals are connected with some special host
	  inputs so you have to enable the corresponding client support.

	  To compile this driver as a module, choose CONFIG_M here: the module
	  will be called pps_core.ko.

if CONFIG_PPS

config CONFIG_PPS_DEBUG
	bool "PPS debugging messages"
	help
	  Say Y here if you want the CONFIG_PPS support to produce a bunch of debug
	  messages to the system log.  Select this if you are having a
	  problem with CONFIG_PPS support and want to see more of what is going on.

config CONFIG_NTP_PPS
	bool "PPS kernel consumer support"
	depends on !CONFIG_NO_HZ_COMMON
	help
	  This option adds support for direct in-kernel time
	  synchronization using an external CONFIG_PPS signal.

	  It doesn't work on tickless systems at the moment.

source "drivers/pps/clients/Kconfig"

source "drivers/pps/generators/Kconfig"

endif # CONFIG_PPS