From d6d4a832a425471732a5b29d94e21a4010f2cad5 Mon Sep 17 00:00:00 2001 From: Flavio Ceolin Date: Wed, 6 Jan 2021 12:14:45 -0800 Subject: [PATCH] kernel: build: Make TICKLESS_KERNEL depends on TICKLESS_CAPABLE Tickless kernel option depends on tickless capable being selected by the target. Signed-off-by: Flavio Ceolin --- kernel/Kconfig | 1 + 1 file changed, 1 insertion(+) diff --git a/kernel/Kconfig b/kernel/Kconfig index 530a7c3878b..d1042f86727 100644 --- a/kernel/Kconfig +++ b/kernel/Kconfig @@ -855,6 +855,7 @@ config TICKLESS_IDLE_THRESH config TICKLESS_KERNEL bool "Tickless kernel" default y if TICKLESS_CAPABLE + depends on TICKLESS_CAPABLE help This option enables a fully event driven kernel. Periodic system clock interrupt generation would be stopped at all times.