Hi Secretary, Here is the signed SGA for donating the source files owned by Xiaomi of Apache NuttX[1]. Please see the attached file.
You may find out that the copyright of these files is 'Pinecone Inc.'. 'Pinecone Inc.' is a wholly-owned subsidiary of Xiaomi so there is no problem. Best regards 1. http://incubator.apache.org/projects/nuttx.html