I found that Sony Spresense [1] board is one of example device that implements NuttX [2].

[1]: https://developer.sony.com/develop/spresense/

[2]: https://developer.sony.com/develop/spresense/developer-tools...