オープンカーネルラボ

オープンカーネルラボ

Open Kernel Labs ロゴ
会社種別	プライベート
業界	コンピュータソフトウェア
設立	2006年、18年前、オーストラリアのシドニー （2006年）
運命	ジェネラル・ダイナミクスC4システムズに買収
後継	コグシステム
本部	シカゴ、イリノイ州、アメリカ合衆国
主要人物	スティーブ・スバー、共同創設者、CEO ゲルノット・ハイザー、共同創設者、CTO
製品	OKL4マイクロカーネルとハイパーバイザー
Webサイト	gdmissionsystems.com/products/cross-domain-solutions/hypervisor

Open Kernel Labs ( OK Labs ) は、組み込みシステム向けのマイクロカーネルベースのハイパーバイザーとオペレーティングシステムを開発する非公開企業です。同社はNICTAからのスピンアウトとして2006 年に Steve Subar とGernot Heiserによって設立されました。本社はシカゴにあり、研究開発はオーストラリアのシドニーにありました。同社は2012 年 9 月にGeneral Dynamicsに買収されました^。[1]

OKL4マイクロバイザは、組み込みシステム向けのオープンソースソフトウェアプラットフォームであり、ハイパーバイザとして、またメモリ保護を備えたシンプルなリアルタイムオペレーティングシステムとして使用できます。これは、 L4マイクロカーネルのバリエーションです。OKL4はタイプIハイパーバイザであり、ARM、MIPS、x86プロセッサに基づくシングルコアおよびマルチコアプロセッサで動作します。^[2]

OKL4は、ベースバンドプロセッサオペレーティングシステムとして、またゲストオペレーティングシステムのホスティング用として、20億台を超える携帯電話に導入されています^{[3] 。最も注目され、目立っているのは、}モトローラのEvoke QA4メッセージングフォンの設計受注です。これは、1つのプロセッサコアで2つのオペレーティングシステム（ LinuxとBinary Runtime Environment for Wireless （BREW））を同時にサポートするために仮想化を採用した最初の携帯電話です^[4]。

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 Watson Research Center、ドイツのカールスルーエ大学、ニューサウスウェールズ大学、オーストラリアの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]

• ウォンバット（オペレーティング システム）

• 公式サイト
• カーネルラボのホームページを開く
• Open Kernel Labs コミュニティ Wiki
• NICTAホームページ^{[永久リンク切れ]}
• Cog Systems ホームページ
• 「ハイパーバイザーは 100% バグフリーであると主張」。LinuxForDevices。JournalDev IT Services Private, Ltd. 2013 年 1 月 27 日のオリジナルからアーカイブ。