Nuttx in the repository