名古屋市工研の斉藤です． Contributed Software に TOPPERS/SSP カーネルの ARM 依存部を公開しましたのでご報告します． https://dev.toppers.jp/trac_user/contrib/wiki/ssp_arm_gcc ターゲットとして SkyEyeシミュレータ上で動作を確認しています． http://www.toppers.jp/sim.html ASPを元にポーティングしましたが，まだ動作が怪しい部分もあります． 一応，試験的な実装としてご理解いただければと思います． 以上，よろしくお願いします．