問題タブ [fuchsia]

私はL4マイクロカーネルについて多くのことをグーグルで検索しましたが、L4には非常に少ないリソースがあることがわかりました。

1. 私が参照できるいくつかの良いリンクは何ですか？
2. L4のアプリケーション（つまり、それが使用される場所）はありますか？

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

デスクトップユーザーを対象としたマイクロカーネルアーキテクチャに基づくオペレーティングシステムがないのはなぜですか? 将来、そのようなオペレーティング システムを使用できるでしょうか。