L4マイクロカーネルファミリー
L4/Fiascoは何年にも渡って大きく改良が続けられた。
Ver.1.1 x86, ARMのいくつかのアーキテクチャをサポートした
Ver.1.2 APIの拡張(1.0はv2とX.0 API) 例外IPC CPU例外をユーザーアプリケーションに送信可能 バージョンX.2形式のUTCB ローカルIPC Alienスレッド(英語版) システムコールの細かい制御が可能
またFiascoはLinuxのシステムコールへのインターフェースが用意され、Linuxのユーザランドで動かすことができる(Fiasco-UX)。2018年現在、マイクロカーネルFiasco.OCと基本的なユーザー環境のL4Reとしてx86、x86_64、ARM、MIPSのアーキテクチャをサポートして開発が続けられている。L4Re上ではLinuxカーネルを動かすことができる(L4Linux(英語版))。
L3を使った経験から、リートケはいくつかの他のMachの発想も間違っていると結論づけた。マイクロカーネルの概念をさらに単純化して、高性能化を主眼に設計した最初のL4カーネルを開発した。少しでも性能を出せるように、カーネル全体をアセンブリ言語で記述した結果、IPCはMachの20倍高速になった。このような劇的な性能の向上は、オペレーティングシステムでは稀なことでリートケの業績は新たなL4の実装のきっかけとなり、ドレスデン工科大学やニューサウスウェールズ大学などの大学やリートケが1996年に働き始めるIBMなどのいくつもの研究施設でのL4ベースのシステムの研究が始められた。リートケはIBMのトーマス・J・ワトソン研究所で同僚と共にL4とマイクロカーネルシステム一般の研究と特にSawmill OSの研究を続けた。