On Fri, Jun 19, 2020 at 9:25 AM Gregory Nutt <spudan...@gmail.com> wrote: > NuttX was created in Costa Rica so an animal from Costa Rica does not > seem in appropriate. Here the most beloved animals are (1) the > rainforest frogs, the red-eyed rain forest frog in particular:
In addition to real animals, we could consider fictitious creatures, robots, etc