> やっぱりマイクロカーネルの効率の問題は大きかったと思う

効率悪くなくて実用になってる例がいくつもあるので、一般論ではないかと。
効率悪かったのは Mach。

> Mac (NeXT) が Mach にこだわったのは多分 Mach IPC のため

けど、Solaris（2.5.1頃だったか?）に 2つぐらいデーモン付加しただけで、
あっさり動いてたけど。OpenStepの Solaris版。
あれ、こだわってたのかな? 新規性狙ってただけじゃない? 5inch MOといっしょで。