You are viewing a plain text version of this content. The canonical link for it is here.

Posted to commits@nuttx.apache.org by GitBox <gi...@apache.org> on 2020/09/04 18:15:26 UTC

[GitHub] [incubator-nuttx] v01d opened a new issue #1716: sched tickless: provide SCHED_TICKLESS_TIMER option

v01d opened a new issue #1716:
URL: https://github.com/apache/incubator-nuttx/issues/1716


   As discussed in #1710, when an architecture decides to support the system timer using the arch_timer/arch_alarm drivers, this requires selecting the matching option for tickless (either SCHED_TICKLESS_ALARM defined or not). To make this automatic (without user facing a build error and having to fix it), it is better to introduce a SCHED_TICKLESS_TIMER option (selected via a `choice` in Kconfig) so that when ARCH_TIMER is selected and SCHED_TICKLESS is defined, SCHED_TICKLESS_TIMER is select as well. This is already being done for ARCH_ALARM and SCHED_TICKLESS_ALARM, as defined in #1710.


----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.

For queries about this service, please contact Infrastructure at:
users@infra.apache.org