nuttxの起動時にセマフォ探索で永久ループになる要因がわからないのでnuttxを追いかけることを止めました。
つぎにChibiOSを試してみることにしました。
https://www.chibios.org/dokuwiki/doku.php
ChibiOSのRISC-V実装は少なそうなのでひとまず、ARM環境をビルドしてみるとバイナリサイズがおおよそ、60KiBだった。
ひとまず、ChibiOSのRISC-V実装を進めてみよう。