NuttX on grokipedia :-)

[Tomek CEDRO]

https://grokipedia.com/page/NuttX

--
CeDeROM, SQ7MHZ, http://www.tomek.cedro.info