オープンソースのiTRONのフル実装がないか調べたところ、TOPPERS/FI4 https://www.toppers.jp/fi4-kernel.html とHOS http://sourceforge.jp/projects/hos/ というのがあった。T-Kernel http://www.t-engine.org/T-Kernel/tkernel.htmlもいつの間にかソース…