You can find project details in wiki. How To build tools/build.py tools/build.py --target-arch=arm --target-os=nuttx --nuttx-home=<NUTTX_HOME> --buildlib