>>621 の冒頭に挿入(スマソ)

 Linusもマイクロカーネルに懐疑的だそうですが、実は私も懐疑的で、
OSのサブシステムからカーネルを保護するだけなら、IA32では他の方法も
あるのではないかと思っています(懐疑的なだけで、絶対意味が無いとか
そういう意味ではありませんが。)。

 最初に断っておきますが、QNXの資料にも明言されている通り、マイクロカー
ネルはカーネルが小さい事を意味するのではなく、OSの各種サブシステムを
一般プロセスとほぼ等価な形態で構成する方法を言います。

 OSのサブシステムの代表であるファイルシステム(以下FS)をこのような一般
プロセスとして記述した場合を考えましょう。以下、FSのプロセスをFSPと言い
ます。

 現代的なOSでは(Windows/Linux/QNXも)、特殊例を除き、個々のプロセスは、