CONFIG_PPS_GENERATOR_TIO: TIO PPS signal generator

General informations

The Linux kernel configuration item CONFIG_PPS_GENERATOR_TIO:

• prompt: TIO PPS signal generator
• type: tristate
• depends on: CONFIG_X86 && CONFIG_CPU_SUP_INTEL
• defined in drivers/pps/generators/Kconfig
• found in Linux kernels: 6.15-rc+HEAD
• modules built: pps_gen_tio

Help text

If you say yes here you get support for a PPS TIO signal generator which generates a pulse at a prescribed time based on the system clock. It uses time translation and hrtimers to precisely generate a pulse. This hardware is present on 2019 and newer Intel CPUs. However, this driver is not useful without adding highly specialized hardware outside the Linux system to observe these pulses.

To compile this driver as a module, choose M here: the module will be called pps_gen_tio.

If unsure, say N.

Hardware

LKDDb

Raw data from LKDDb:

• lkddb acpi "INTC1021" : CONFIG_PPS CONFIG_PPS_GENERATOR CONFIG_PPS_GENERATOR_TIO : drivers/pps/generators/pps_gen_tio.c # in 6.15-rc+HEAD
• lkddb acpi "INTC1022" : CONFIG_PPS CONFIG_PPS_GENERATOR CONFIG_PPS_GENERATOR_TIO : drivers/pps/generators/pps_gen_tio.c # in 6.15-rc+HEAD
• lkddb acpi "INTC1023" : CONFIG_PPS CONFIG_PPS_GENERATOR CONFIG_PPS_GENERATOR_TIO : drivers/pps/generators/pps_gen_tio.c # in 6.15-rc+HEAD
• lkddb acpi "INTC1024" : CONFIG_PPS CONFIG_PPS_GENERATOR CONFIG_PPS_GENERATOR_TIO : drivers/pps/generators/pps_gen_tio.c # in 6.15-rc+HEAD
• lkddb module pps_gen_tio CONFIG_PPS_GENERATOR_TIO : drivers/pps/generators/Kconfig : "TIO PPS signal generator" # in 6.15-rc+HEAD
• lkddb platform "intel-pps-gen-tio" : CONFIG_PPS CONFIG_PPS_GENERATOR CONFIG_PPS_GENERATOR_TIO : drivers/pps/generators/pps_gen_tio.c # in 6.15-rc+HEAD

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from Google (and ads)

Custom Search

Popular queries: