Open Kernel Labs

現在ではオリジナルのL4とその改良版のカーネルインターフェースを持つマイクロカーネルファミリーが該当する。L4は広く開発が行われている。一つのバリエーションであるOKL4はOpen Kernel Labs（英語版）(現 ジェネラル・ダイナミクス・ミッション・システムズ)で開発され数十億台のモバイル機器に使われた。

Torvalds, Linus. “Linux-Kernel Archive:Re: BK kernel workflow”. 2010年6月26日閲覧。 ^ Patrick Guignot（パトリック・ギニョー） (2011年5月3日). “Kernel Linus Torvalds : l’interview

Solutions NetQin Tech. Neusoft Nash Technologies ニュアンス コミュニケーションズ Open Kernel Labs オムロン ソフトウェア Psiloc Protacon Solutions PT. Solusi Media Selular Penthera

ウェールズ州ウロンゴンからパロアルトへ引っ越した。 2003年7月、彼は彼の以前の勤務先Digeo Inc.との合意の下、Open Source Development Labs(OSDL)に加入した（Digeo Inc.はMoxi（英語版） home entertainment media

BSDの子孫。58以上のアーキテクチャに対応している。 OpenBSD NetBSDから派生したBSDの子孫。 GNU/Linux Linuxカーネルから派生した、Linuxディストリビューション全般やELIKS (en:Embeddable Linux Kernel Subset) を言う。中には有償のものも含まれる。Linux