kconfig_frontsendsが必要らしい
> brew tap PX4/homebrew-px4 > brew update > brew install kconfig-frontends
オープンソースのフライトコントローラーPX4とかに採用されている．RTOSの中ではリッチな部類らしい．
追加でkconfig-frontendsってツールが必要っぽい
RTOSのコア部分とアプリケーション部分を同じディレクトリに放り込んでビルドする模様
任意のディレクトリを作成し，そこに2つのリポジトリをクローンしてくる
Linux,MacOSなら公式wikiにインストール方法が乗ってる→Getting Started with NuttX -- STM32F4 Discovery (Unix)
> git clone https://bitbucket.org/nuttx/nuttx.git nuttx > git clone https://bitbucket.org/nuttx/apps.git apps > cd nuttx > tools/configure.sh stm32f4discovery/usbnsh # nsh console/usb - need microUSB to USB cable
menuconfigオプションでコンパイラをMacOSに変更
make menuconfig
STM32でNUTTXを使ってみる
STM32F4Discovery向けにNuttX(RTOS)をビルドしてみる
NuttXというPOSIXに対応した組み込みOSをためしてみる
[WIP]nuttx を STM32f768 discovery で動かしてみた
Build for STM32F4 NuttX