kernel: Decouple TICKS_PER_SEC from TICKLESS_CAPABLE

The SYS_CLOCK_TICKS_PER_SEC default may depend on the kernel config
for tickless, rather than the capability.

Signed-off-by: Martin Åberg <martin.aberg@gaisler.com>
This commit is contained in:
Martin Åberg 2021-02-03 18:24:15 +01:00 committed by Anas Nashif
parent 76ebe71fcb
commit 612dad264c

View file

@ -546,7 +546,7 @@ config ARCH_HAS_CUSTOM_BUSY_WAIT
config SYS_CLOCK_TICKS_PER_SEC
int "System tick frequency (in ticks/second)"
default 100 if QEMU_TARGET || SOC_POSIX
default 10000 if TICKLESS_CAPABLE
default 10000 if TICKLESS_KERNEL
default 100
help
This option specifies the nominal frequency of the system clock in Hz.