ハイパーバイザー/マイクロカーネルの背後にあるメカニズムをカバーする文献を探していて、それがどのように機能するか、背後にある設計などを説明していますが、公開された cs の論文とウィキペディア以外は何も見つかりません。
私はこの分野に非常に興味があり、もっと知りたいと思っているので、誰かこの分野の文献を推薦してもらえませんか? 私が考えることができる最も近いものは、オペレーティング システムを扱った本です。
私は主に、ハイパーバイザー上で複数の OS を実行する代わりに、ハイパーバイザーが OS に提供できる追加のセキュリティ上の利点に関心があります。
ありがとう！
ハイパーバイザーのトピックは、それと共に使用されるハードウェアと密接に結びついています。そのため、ハードウェアの詳細を知らずにハイパーバイザーの説明を見つけることは困難です。
そのため、ハイパーバイザーが ARMv7 に実装されている場合は、ハイパーバイザーの実装と、ハードウェアによって提供される仮想化拡張機能やセキュリティ拡張機能などのハードウェア サポートを確認する必要があります。
良い 記事がgenode Web ページ にあります。そこにもセキュリティ拡張に関する記事があります。
このドキュメントは、ARMv7 ハードウェアを対象としています。
ARMv7 Cortex A : アーキテクチャ リファレンス マニュアルには、ハイパーバイザーに必要なハードウェア サポートの詳細が記載されています。