add boot partition size

hc

2023-12-11 d2ccde1c8e90d38cee87a1b0309ad2827f3fd30d

 kernel/drivers/pps/Kconfig
..
..
@@ -1,10 +1,11 @@
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,8 +38,8 @@
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