| .. | .. |
|---|
| 1 | +# SPDX-License-Identifier: GPL-2.0-only |
|---|
| 1 | 2 | # |
|---|
| 2 | 3 | # PPS support configuration |
|---|
| 3 | 4 | # |
|---|
| 4 | 5 | |
|---|
| 5 | 6 | menuconfig PPS |
|---|
| 6 | 7 | tristate "PPS support" |
|---|
| 7 | | - ---help--- |
|---|
| 8 | + help |
|---|
| 8 | 9 | PPS (Pulse Per Second) is a special pulse provided by some GPS |
|---|
| 9 | 10 | antennae. Userland can use it to get a high-precision time |
|---|
| 10 | 11 | reference. |
|---|
| .. | .. |
|---|
| 37 | 38 | |
|---|
| 38 | 39 | It doesn't work on tickless systems at the moment. |
|---|
| 39 | 40 | |
|---|
| 40 | | -source drivers/pps/clients/Kconfig |
|---|
| 41 | +source "drivers/pps/clients/Kconfig" |
|---|
| 41 | 42 | |
|---|
| 42 | | -source drivers/pps/generators/Kconfig |
|---|
| 43 | +source "drivers/pps/generators/Kconfig" |
|---|
| 43 | 44 | |
|---|
| 44 | 45 | endif # PPS |
|---|