POSIXライクなRTOSである「NuttX」を、3000円弱で購入できる「STM32F4Discovery」というボードで動かすために必要なノウハウが書かれています。 このボードは秋月電子などでも取扱いがあり比較的簡単に入手できます。 OSのビルド方法やボードへの書き込み方、OpenOCDによるデバッグの方法まで、NuttXで遊ぶために必要な情報は書いたつもりです。 一緒にNuttXで遊びましょう！ (2020/11追記) 手順などが古くなってしまったので少し更新しました。