Establish whether "Apache NuttX" is a suitable name

Ohloh: Search for "nuttx" returns 2 results. https://www.openhub.net/p?query=nuttx&sort=relevance One is NuttX's pre-apache repository the other is Thingsee OS SDK which is listed as being based on NuttX. Sf.net: Search for "nuttx" returns 1 result: https://sourceforge.net/directory/os:windows/?q=nuttx this is one of the places pre-apache that it was hosted. Github: Search for "nuttx" returns 359 repository results: https://github.com/search?q=nuttx Sorting by last modified the first ~100 all appear to be forks of the project or projects using NuttX. Google Code: A search in the Google Code Archive returns 0 results: https://code.google.com/archive/search?q=nuttx

Trademarkia: Search for "nuttx": 1 result is returned: https://www.trademarkia.com/trademarks-search.aspx?tn=nuttx This is the registration by Gregory Nutt for this project. He has offered to donate this to the Apache Project as has been discussed on trademarks@apache.org He also further discussed this here http://mail-archives.apache.org/mod_mbox/nuttx-dev/202005.mbox/browser Greg has been using NuttX in the context of this project since February 2007 USPTO: Search performed according to http://www.apache.org/foundation/marks/naming.html returns 0 results. WIPO: Search for "nuttx" returns 1 results: https://www3.wipo.int/branddb/en/ This is the registration that Gregory Nutt has for the project and will be donated discussed.