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