Input: Ang pinagtulungang mapaunlad na gumaganang sistemang kernel ay kilala sa tawag na GNU Hurd ay nagawang bootable sa paggamit ng L4 microkernel, na nagbibigay ng lugar para sa makabuluhang pagbuti sa bilis sa ibabaw ng isang gumaganang implementasyon gamit ang Mach Microkernel.
Output: GNUHurdと呼ばれる、協力して開発されたオペレーティングシステムのカーネルがL4マイクロカーネルで立ち上げ可能になり、Machマイクロカーネルを使用した現存の実装より大幅なスピード向上の余裕ができた。