「L4マイクロカーネルファミリー」の版間の差分

}}</ref>これにより2006年後半以降の携帯電話でL4が使われる事になった。2006年8月、UNSWのジャーノット・ハイザー教授と組み込み用リアルタイムOSリーダーのスピンアウトにより{{仮リンク|Open Kernel Labs|en|Open Kernel Labs}}（OK Labs）が設立され、商業目的のL4のサポートを行い、OKL4というブランド名の商業利用向けのL4の開発もNICTAと密接に協力して行った。2008年4月にリリースされたOKL4バージョン2.1は{{仮リンク|一般利用可能|en|generallygeneral availableavailability}}なバージョンのL4で[[Capability-based security]]を特徴に持っていた。2008年10月にリリースされたOKL4 3.0は最後のオープンソース版OKL4である。これ以降のバージョンのOKL4はクローズドソースでネイティブ[[ハイパーバイザ]]として動くように書き換えられOKL4 Microvisorと呼ばれるようになった。OK LabsはまたWombatの後継の準仮想化LinuxをOK:Linuxとして供給し、準仮想化した[[Symbian OS]]と[[Android]]の供給も行った。OK LabはNICTAから'''seL4'''の権利も取得した。