mirror of
https://github.com/apache/nuttx.git
synced 2026-06-12 14:13:21 +08:00
321b9ea732
Use correct path to include mutex.h
Fixes:
chip/stm32_bbsram.c:42:10: fatal error: mutex.h: No such file or directory
42 | #include <mutex.h>
| ^~~~~~~~~