Hi all,
This issue is specific to the tickless driver for STM32F7 devices.
There is a draft PR here https://github.com/apache/incubator-nuttx/pull/1380
But there is an issue with how I'm calling nxsched_alarm_expiration that
still needs to be resolved. How can I force the call to
nxsched_alarm_
Hi all,
I am having an issue where work scheduled on the HPWORK queue stops being
processed.
The work queue is locked up inside of nxsig_timedwait(). Specifically on
line 370 of sig_timedwait.c. The watchdog that is scheduled to wake the
thread back up is never firing.
I know because I traced t
