kernel: build: Make TICKLESS_CAPABLE a hidden option

TICKLESS_CAPABLE is an option that has to be selected by the target.

Signed-off-by: Flavio Ceolin <flavio.ceolin@intel.com>
This commit is contained in:
Flavio Ceolin 2021-01-06 12:16:55 -08:00 committed by Anas Nashif
commit 1dd2d414b8

View file

@ -328,8 +328,9 @@ config SYSTEM_CLOCK_INIT_PRIORITY
the clock to be running already, you should let the default value as it the clock to be running already, you should let the default value as it
is (0). is (0).
# Hidden option to be selected by individual SoC.
config TICKLESS_CAPABLE config TICKLESS_CAPABLE
bool "Timer driver supports tickless operation" bool
help help
Timer drivers should select this flag if they are capable of Timer drivers should select this flag if they are capable of
supporting tickless operation. That is, a call to supporting tickless operation. That is, a call to