L4マイクロカーネルファミリー
ヨッヘン・リートケは、パフォーマンスに充分注意を払い、(プラットフォーム非依存性に反する形で)マシン固有の設計を行い、うまく作られた小さなIPCレイヤーを使う設計ならば実際のパフォーマンスが大幅に向上することを証明した。 Machの複雑なIPCシステムの代わりに、彼のL3マイクロカーネルはオーバーヘッドを最小限にして単純なメッセージを渡すだけにした。 必要なセキュリティポリシーの定義と実装は、ユーザー空間のサーバーの任務とみなされた。 カーネルの役割は、ユーザーレベルのサーバーがポリシーを実施するのに必要なメカニズムを提供することだけとされた。 1988年に開発されたL3は、例えばTÜV SÜD(ドイツの検査技術協会)などで長く使用され安全で堅牢なオペレーティングシステムであることを示した。