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