yamt opened a new issue, #15446: URL: https://github.com/apache/nuttx/issues/15446
### Is your feature request related to a problem? Please describe. it would be nice to have some debug feature which can detect issues like https://github.com/apache/nuttx/issues/15314 ### Describe the solution you'd like precedents: https://man.freebsd.org/cgi/man.cgi?witness(4) https://docs.kernel.org/locking/lockdep-design.html ### Describe alternatives you've considered althogh adhoc local assertions like https://github.com/yamt/incubator-nuttx/commit/ac3dda4f4f85d5774a5e05ec0595fe572110c947 can work, it would be nicer to have a generic mechanism in the upstream. ### Verification - [X] I have verified before submitting the report. -- 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: [email protected] For queries about this service, please contact Infrastructure at: [email protected]
