こんにちは。
ちなみに、linuxの場合、kernelはno_fpuで作り ます。
でディスパッチの時に、どこから来たかをチェックして、
ユーザー空間からならfr0~fpscrを保存!って感じです。
シングルバイナリになるJSPの場合は、ディスパッチ時に 有無を言わさずFPU関連レジスタを保存することになる のでしょうね。
ret_int_2: #ifdef SUPPORT_CHG_IPM mov #32,r0
32ではなくて44であるべきです。 そろそろ出そうな1.4.2では修正されているはずです。 FPUへの対応をなさる場合にはこの辺りも参考に なさってください。
-- from もなか