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