hartmannathan merged PR #15102:
URL: https://github.com/apache/nuttx/pull/15102
--
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.
To unsubscribe, e-mail: commits-unsubscr...@nutt
xiaoxiang781216 commented on PR #15102:
URL: https://github.com/apache/nuttx/pull/15102#issuecomment-2530135210
Fix the concern from https://github.com/apache/nuttx/issues/15100.
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub
nuttxpr commented on PR #15102:
URL: https://github.com/apache/nuttx/pull/15102#issuecomment-2530122183
[**\[Experimental Bot, please feedback
here\]**](https://github.com/search?q=repo%3Aapache%2Fnuttx+13552&type=issues)
No, this PR does not appear to meet the NuttX requireme
xiaoxiang781216 opened a new pull request, #15102:
URL: https://github.com/apache/nuttx/pull/15102
## Summary
since the basepri is always used without any configuration
## Impact
continue clean up from https://github.com/apache/nuttx/pull/15073
## Testing
ci
