LibNuttX is provided on the BSP CD-ROM as a package for Fedora. The package name is libnuttx-zkit-arm-1769. Install the LibNuttX library, using the following command.
libnuttx-zkit-arm-1769
# yum --nogpgcheck localinstall /mnt/cdrom/software/libnuttx-*.rpm