マイクロカーネルとLinuxエグゼクティブの間のオーバーヘッドじゃないの？

https://ja.m.wikipedia.org/wiki/マイクロカーネル