nuttxの最小構成

RISC-Vの設定でビルドすると、100KiBぐらいになるなぁ。

40KiBぐらいにしたいんだけど…

どの設定を参考にすればいいかな？