I think David is referring to the ideas given in the attached document, where NuttX is spelled all upper case (NUTTX)
On Thu, May 28, 2020, 13:40 Gregory Nutt <spudan...@gmail.com> wrote: > > > > >> Before it's too late, I'd like to pose the question: > >> Is there no-one who prefers NuttX be spelled with lower-case "utt"? > That is the way the the registered trademark is spelled.. with lower > case utt >