デスクトップ ユーザーを対象としたマイクロカーネル アーキテクチャを備えたオペレーティング システムを使用できますか? この Web サイトで、古いマイクロカーネルはモノリシック カーネルよりも 50% 遅くなる可能性があることを読みましたが、L4 などの新しいバージョンはモノリシック カーネルよりも 2% または 4% しか遅くありませんでした。L4 カーネルは、そのパフォーマンスで非常に有名です。
デスクトップユーザーを対象としたマイクロカーネルアーキテクチャに基づくオペレーティングシステムがないのはなぜですか? 将来、そのようなオペレーティング システムを使用できるでしょうか。