Yes, it's better to auto select SCHED_TICKLESS_LIMIT_MAX_SLEEP under config
TIMER_ARCH/ALARM_ARCH.
> -Original Message-
> From: Matias N.
> Sent: Friday, September 4, 2020 12:09 AM
> To: dev@nuttx.apache.org
> Subject: Re: max sleep and tickless with no alarm
>
Actually, I see this in arch_timer.c/arch_alarm.c:
# ifndef CONFIG_SCHED_TICKLESS_LIMIT_MAX_SLEEP
#error CONFIG_SCHED_TICKLESS_LIMIT_MAX_SLEEP must be set to use
CONFIG_SCHED_TICKLESS
# endif
So I think this is somehow being enforced but it is in a really awkward place.
I will open an iss