 |
 Open Kernel Labs ロゴ | |
| 会社の種類 | プライベート |
|---|---|
| 業界 | コンピュータソフトウェア |
| 設立 | 2006年、オーストラリア、シドニー （2006年） |
| 運命 | ジェネラル・ダイナミクスC4システムズに買収 |
| 後継 | コグシステム |
| 本部 | シカゴ、イリノイ州、アメリカ合衆国 |
主要人物 | スティーブ・スバール、共同創業者、CEOゲルノット・ハイザー、共同創業者、CTO |
| 製品 | OKL4マイクロカーネルとハイパーバイザー |
| Webサイト | gdmissionsystems |
Open Kernel Labs（OK Labs ）は、組み込みシステム向けのマイクロカーネルベースのハイパーバイザーとオペレーティングシステムを開発する非公開企業です。同社は2006年にスティーブ・スバールとゲルノット・ハイザーによってNICTAからのスピンアウトとして設立されました。本社はシカゴにあり、研究開発はオーストラリアのシドニーに拠点を置いていました。同社は2012年9月にゼネラル・ダイナミクスに買収されました。 [ 1 ]
製品
OKL4 マイクロバイザー
OKL4マイクロバイザは、組み込みシステム向けのオープンソースソフトウェアプラットフォームであり、ハイパーバイザとして、またメモリ保護機能を備えたシンプルなリアルタイムオペレーティングシステムとして使用できます。これはL4マイクロカーネルの一種です。OKL4はType Iハイパーバイザであり、ARM、MIPS、x86プロセッサをベースにしたシングルコアおよびマルチコアプロセッサ上で動作します。[ 2 ]
OKL4は、ベースバンドプロセッサオペレーティングシステムとして、またゲストオペレーティングシステムのホスティング用として、20億台以上の携帯電話に導入されています[ 3 ] 。最も注目すべき、そして目に見える事例は、モトローラ社が開発したEvoke QA4メッセージングフォンの設計受注です。これは、仮想化技術を採用し、1つのプロセッサコアで2つのオペレーティングシステム（ LinuxとBinary Runtime Environment for Wireless (BREW)）を同時にサポートした初の携帯電話です[ 4 ]。
準仮想化ゲストOS
OK Labs は、OK:Symbian ( SymbianOS )、OK:Linux ( Linux )、OK:Windows ( Windows )、OK:Android ( Android )など、すぐに統合できる準仮想化ゲスト アプリケーション オペレーティング システムも提供しています。
ハードウェア仮想化
OKL4マイクロバイザは、Cortex-A15プロセッサで導入されたARMハードウェア仮想化拡張機能をサポートしています。ハードウェア仮想化を使用することで、ゲストOSに必要な変更が大幅に削減されます。
背景
OK LabsとOKL4は、学界、企業、そしてオープンソース開発の連携によって誕生しました。OK Labsの技術は、1990年代初頭にドイツの研究機関GMDで開発され、IBMワトソン研究所、ドイツのカールスルーエ大学、ニューサウスウェールズ大学、オーストラリアのNICTAでさらに発展したL4マイクロカーネルを基盤としています。OK LabsとOKL4は、2006年にNICTAによって商業ベンチャーとして設立され、Citrixをはじめとするベンチャーパートナーからの投資も受けています。OK Labsの技術は、学界や研究プロジェクト、NICTA、そして世界中のオープンソースコミュニティとの連携によって、今もなお恩恵を受けています。
取得
同社は2012年9月にゼネラル・ダイナミクスに買収され、その後シドニーオフィスを閉鎖しました。2014年2月、元Open Kernel LabsのスタッフによってCog Systemsが設立され、シドニーでOKL4の開発を継続しました。2019年4月、Cog Systemsは清算手続きに入り、閉鎖されました。[ 5 ]
参照
参考文献
- ^ 「General DynamicsがNICTAの新興企業Open Kernel Labsを買収」 NICTA 、 2012年9月12日。2012年12月31日時点のオリジナルよりアーカイブ。
- ^ 「Open Kernel Labs: オープンに。安全に。」 Okl4.org. 2008年8月12日。2008年8月20日時点のオリジナルよりアーカイブ。2014年2月2日閲覧。
- ^ 「ハイパーバイザー製品」ジェネラル・ダイナミクス・ミッション・システムズ。 2020年11月16日閲覧。
- ^ 「A Google Company」 . Motorola. 2013年12月30日. 2011年5月1日時点のオリジナルよりアーカイブ。2014年2月2日閲覧。
- ^ 「清算人選任通知」 2019年4月23日。
外部リンク
- 公式サイト
- Open Kernel Labs ホームページ
- Open Kernel Labs コミュニティ Wiki
- NICTAホームページ
- Cog Systemsのホームページ
- 「ハイパーバイザーは100%バグフリーであると主張」 LinuxForDevicesJournalDev IT Services Private, Ltd. 2013年1月27日時点のオリジナルよりアーカイブ。
