• 仮想CPUのスケジュール
  • 仮想マシン間のRAMのパーティション
  • VM間のシンプルなコミュニケーションチャンネル
  • ハードウェアアクセスのコントロール
  • いくつかのシンプルなドライバー(シリアルポートなど)
  • ハードウェアのエミュレーション(APIC、timers)
  • ハードウェアインターフェースの利用
  • ハイパーコールインターフェース、H/Wインターフェースの提供
  • シリアルラインへのログ
  • dmesgリングバッファー