A collaboratively-developed operating system kernel known as GNU Hurd has been made bootable using the L4 microkernel, which provides room for significant speed improvements over an existing implementation using the Mach microkernel.
GNUHurdと呼ばれる、協力して開発されたオペレーティングシステムのカーネルがL4マイクロカーネルで立ち上げ可能になり、Machマイクロカーネルを使用した現存の実装より大幅なスピード向上の余裕ができた。