There are two issues that I would like to bring to your attention. #7393 - https://github.com/apache/nuttx/issues/7393 #5973 - https://github.com/apache/nuttx/issues/5973
On Sat, Apr 1, 2023 at 12:07 AM Gregory Nutt <spudan...@gmail.com> wrote: > > > BTW, https://github.com/apache/nuttx/pull/5070 report that the system > will > > crash if the priority inheritance enabled semaphore is waited or posted > > from different threads. > True. sem_post should fail if priority inheritance is enabled and the > caller is not a holder of a semaphore count. That check should be > added. Certainly it is not a justification for eliminating core > functionality. > >
