L4 Linuxは、オペレーティングシステム用のLinuxカーネルのバリアントであり、 L4マイクロカーネル上で準仮想化実行できるように変更されています。L4Linuxカーネルはサービスを実行します。L4Linuxはフォークではなくバリアントであり、 Linux x86カーネルとバイナリ互換性があるため、あらゆるLinuxディストリビューションのLinuxカーネルを置き換えることができます。
L 4 Linux は、リアルタイムプログラムとタイムシェアリングプログラムを同時にコンピューター上で並行して実行 できるようにするために、ドレスデン リアルタイム オペレーティング システム プロジェクト(DROPS)によって開発されています。
L 4 Linux では、 Xenやカーネルベースの仮想マシン(KVM)に似た仮想化環境を設定することもできますが、Xen と L 4 Linuxの目的の間にはいくつかの重要な違いがあります[さらなる説明が必要]。
L4Android [ 2 ]は、 L4 Linuxのフォークであり、 Android向けにメインラインLinuxカーネルの修正を盛り込んでいます。ドレスデン工科大学のオペレーティングシステムグループとベルリン工科大学の電気通信セキュリティ学科の共同プロジェクトです。