TOPPERSのITRONでも一部のアークテクチャしか対応していない
独自サービスコール chg_ipmについて質問です。

1)まだ食べたことがない
2)仕様があることはなんとなく知っている。
3)使ったことがある
4)使おうと検討したことがある。
5)カーネルマスクレベル未満しか設定できないのは不便だ
6)タスクディスパッチが発生するとRUNになったタスクにIPMが
 移行するのはバグの元のように思う。
7)質問の仕方が気に入らない

いずれか、できれば7)以外で回答ください。