From 444ecafeee127aad8211582a90c41e7b1a7ed848 Mon Sep 17 00:00:00 2001 From: Ramesh Thomas Date: Mon, 6 Feb 2017 15:46:11 -0800 Subject: [PATCH] kernel: Remove redundant TICKLESS_IDLE_SUPPORTED option This flag is no longer necessary and TICKLESS_IDLE will be enabled by default if SYS_POWER_MANAGEMENT is enabled. Jira: ZEP-1325 Change-Id: Ic6cd4b8dc0a17c6a413cabf6509b215a4558318d Signed-off-by: Ramesh Thomas --- arch/Kconfig | 1 - arch/arc/Kconfig | 1 - drivers/timer/Kconfig | 1 - kernel/Kconfig | 6 ------ kernel/Kconfig.power_mgmt | 2 +- 5 files changed, 1 insertion(+), 10 deletions(-) diff --git a/arch/Kconfig b/arch/Kconfig index d7777964c33..4f6b08a2f91 100644 --- a/arch/Kconfig +++ b/arch/Kconfig @@ -20,7 +20,6 @@ config ARM config X86 bool "x86 architecture" - select TICKLESS_IDLE_SUPPORTED select ATOMIC_OPERATIONS_BUILTIN config NIOS2 diff --git a/arch/arc/Kconfig b/arch/arc/Kconfig index 88faac1839a..4811bf483fe 100644 --- a/arch/arc/Kconfig +++ b/arch/arc/Kconfig @@ -41,7 +41,6 @@ menu "ARCv2 Family Options" config CPU_ARCV2 bool default y - select TICKLESS_IDLE_SUPPORTED help This option signifies the use of a CPU of the ARCv2 family. diff --git a/drivers/timer/Kconfig b/drivers/timer/Kconfig index c8d5b9d2193..ef5d87afd6b 100644 --- a/drivers/timer/Kconfig +++ b/drivers/timer/Kconfig @@ -143,7 +143,6 @@ config NRF_RTC_TIMER bool "nRF Real Time Counter (NRF_RTC1) Timer" default y depends on SOC_FAMILY_NRF5 && CLOCK_CONTROL_NRF5 - select TICKLESS_IDLE_SUPPORTED help This module implements a kernel device driver for the nRF Real Time Counter NRF_RTC1 and provides the standard "system clock driver" diff --git a/kernel/Kconfig b/kernel/Kconfig index 59207dbedd3..e94d8e53134 100644 --- a/kernel/Kconfig +++ b/kernel/Kconfig @@ -147,12 +147,6 @@ config NUM_DYNAMIC_TIMERS Number of timers available for dynamic allocation via the k_timer_alloc()/k_timer_free() API. -config TICKLESS_IDLE_SUPPORTED - bool - default n - help - To be selected by an architecture if it does support tickless idle. - config ERRNO bool prompt "Enable errno support" diff --git a/kernel/Kconfig.power_mgmt b/kernel/Kconfig.power_mgmt index d1bb62e277d..bc3cfd812cd 100644 --- a/kernel/Kconfig.power_mgmt +++ b/kernel/Kconfig.power_mgmt @@ -58,7 +58,7 @@ config DEVICE_POWER_MANAGEMENT config TICKLESS_IDLE bool prompt "Tickless idle" - default y if TICKLESS_IDLE_SUPPORTED + default y help This option suppresses periodic system clock interrupts whenever the kernel becomes idle. This permits the system to remain in a power