mirror of
https://github.com/apache/nuttx.git
synced 2026-05-10 23:40:21 +08:00
9bd6c70339
which is removed accidently in: https://github.com/apache/nuttx/pull/9398 Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>