https://developer.espressif.com/blog/2020/11/nuttx-getting-started/