4. LibNuttX Setup

LibNuttX is provided on the BSP CD-ROM as a package for Debian and Ubuntu. The package name is libnuttx-zkit-arm-1769. Insert the BSP CD-ROM and install the LibNuttX library, using the following command.

# apt-get install libnuttx-zkit-arm-1769