Bug#8269 カーネル管理外割込みがかかるとスタック・ポインタが壊れるという問題があることがわかりました。問題があったのは、cpu_support.asm (1.13)の98行目です。 dispatcher_1: LOAD( sp, ldf_stack_end) // イベントスタックポインタを設定 LOAD( p4, …