L4 Linux​

L4Linux^は、オペレーティングシステム用のLinuxカーネルの派生版であり、 L4マイクロカーネル上で準仮想化して動作できるように変更されています。L4Linuxカーネルはサービスを実行します。L4Linuxはフォークではなく派生版であり、Linux x86カーネルとバイナリ互換性があるため、あらゆるLinuxディストリビューションのLinuxカーネルを置き換えることができます。

L4 Linuxは^、リアルタイムプログラムとタイムシェアリングプログラムをコンピュータ上で同時に並列実行できるようにするために、ドレスデンリアルタイムオペレーティングシステムプロジェクト（DROPS）によって開発されている。

L4Linux^では、 Xenやカーネルベース仮想マシン（KVM）に漠然と似た仮想化環境を構築することもできますが、Xenと^L4Linuxの意図にはいくつかの重要な違いがあります。

L4Android ^{[ 2 ]}は、 Android用のメインライン Linux カーネルの変更を含むL ⁴ Linuxのフォークです。これは、ドレスデン工科大学のオペレーティングシステムグループとベルリン工科大学の電気通信セキュリティ講座の共同プロジェクトです。

• ウォンバット（オペレーティングシステム）
• MkLinuxは、LinuxカーネルをMachマイクロカーネルに移植した同様の製品である。