PikeOS
いくつかのプログラムがそれぞれ異なるクリティカルレベルをもつ場合、単一マシンで共有させる際に下部OSがそれらの独立性を保証する必要がある。それを達成する技法として広く受け入れられているのがリソース論理区画である。PikeOSではリソースの論理区分と仮想化を組合せている。その仮想機械環境(以下VM)は複数のオペレーティングシステム全体をホスティングでき、それらの上でアプリケーションを動作させることができる。PikeOSは準仮想化を用いているので、オペレーティングシステムがそのVM上で動作するよう修正する必要がある。しかしアプリケーションプログラムは、まったく修正されていなくとも動作する。各VMが個別でリソースセットをもつので、あるVMがホストするプログラムは、他のVMでホストされているプログラムから独立している。これによりレガシーなプログラム(たとえばLinux)と安全性が重視されるプログラムを単一のマシンで共存させることを可能にする。