Hurdの開発者がマイクロカーネルはそれほど遅くなかったとか言ってたな