[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <56DB1963.60808@maciej.szmigiero.name>
Date: Sat, 05 Mar 2016 18:37:39 +0100
From: "Maciej S. Szmigiero" <mail@...iej.szmigiero.name>
To: Rodolfo Giometti <giometti@...eenne.com>
CC: linux-kernel <linux-kernel@...r.kernel.org>,
Alexander Gordeev <lasaine@....cs.msu.su>
Subject: [PATCH] pps: kc: fix non-tickless system config dependency
CONFIG_NO_HZ currently only sets the default value
of dynticks config so if PPS kernel consumer needs
periodic timer ticks it should depend on
!CONFIG_NO_HZ_COMMON instead of !CONFIG_NO_HZ.
Otherwise it is possible to enable it even on
tickless system which has CONFIG_NO_HZ not set and
CONFIG_NO_HZ_IDLE (or CONFIG_NO_HZ_FULL) set.
Signed-off-by: Maciej S. Szmigiero <mail@...iej.szmigiero.name>
---
drivers/pps/Kconfig | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/drivers/pps/Kconfig b/drivers/pps/Kconfig
index 7512e98e9311..564a51abeece 100644
--- a/drivers/pps/Kconfig
+++ b/drivers/pps/Kconfig
@@ -31,7 +31,7 @@ config PPS_DEBUG
config NTP_PPS
bool "PPS kernel consumer support"
- depends on !NO_HZ
+ depends on !NO_HZ_COMMON
help
This option adds support for direct in-kernel time
synchronization using an external PPS signal.
Powered by blists - more mailing lists