Nuttx

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