いまさら聞けない、ハイパーバイザー「タイプ1」と「タイプ2」の違い（関連情報）：ハイパーバイザーの基礎解説【前編】