default or selected kernelversion does not have config value CONFIG_PPS_GENERATOR_TIO.
Result is shown for kernelversion 6.6.86
TIO PPS signal generator
modulename: pps_gen_tio.ko
configname: CONFIG_PPS_GENERATOR_TIO
Linux Kernel Configuration
└─>Device Drivers
└─>PPS support
└─>PPS generators support
└─>TIO PPS signal generator
In linux kernel since version 6.6.86 (release Date: 2025-04-07)
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.
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.