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