kernel/Kconfig: make ARCH_HAVE_TICKLESS invisible

CONFIG_ARCH_HAVE_TICKLESS should be invisible and selected only by
another Kconfig entry that is architecture-specific. In other words, it
is not a user-configurable kconfig entry.

Change-Id: Icfd9ebb64618cc5e94bd21a6ab5113a32092ba0b
Signed-off-by: Heesub Shin <heesub.shin@samsung.com>

diff --git a/os/kernel/Kconfig b/os/kernel/Kconfig
index df4c49d..a088276 100644 (file)
--- a/os/kernel/Kconfig
+++ b/os/kernel/Kconfig
@@ -50,7 +50,7 @@ endif # DISABLE_OS_API
 menu "Clocks and Timers"
 
 config ARCH_HAVE_TICKLESS
-       bool "Enable if ARCH supports"
+       bool
        default n
 
 config SCHED_TICKLESS