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"?
Respectfully, -david On Wed, May 27, 2020 at 3:01 PM Nathan Hartman <hartman.nat...@gmail.com> wrote: > On Wed, May 27, 2020 at 5:15 PM Gregory Nutt <spudan...@gmail.com> wrote: > > > > > > Well, it could be a gift certificate of some kind. Seems like it must > > > be embedded RTOS themed in some way, however. > > > > > > Or maybe a trophy? > > > > Better... a T-shirt or hoody with the selected logo on it. > > > That's a neat idea! > > Nathan >
