mirror of
https://github.com/apache/nuttx.git
synced 2026-05-18 00:34:10 +08:00
94fae9133f
fix arm32 build warning Signed-off-by: lipengfei28 <lipengfei28@xiaomi.com>