david1025 opened a new issue, #10967: URL: https://github.com/apache/nuttx/issues/10967
Many people say that Nuttx belongs to Xiaomi and was developed by Xiaomi themselves. Do I want to confirm if this is true? 非常多的人说nuttx现在归属于小米，是小米自研的，我想确认下这个是真的么？ Is it true that some people say the founder works at Xiaomi? 还有人说创始人在小米工作，是真的么？ I hope someone can clarify it <img width="649" alt="image" src="https://github.com/apache/nuttx/assets/18585195/087220c6-238b-4483-be74-502b284ffc52";> -- This is an automated message from the Apache Git Service. To respond to the message, please log on to GitHub and use the URL above to go to the specific comment. To unsubscribe, e-mail: commits-unsubscr...@nuttx.apache.org.apache.org For queries about this service, please contact Infrastructure at: us...@infra.apache.org
