Task: Translation
Input (Thai): ระบบปฏิบัติการร่วมพัฒนา kernel ที่รู้จักกันในชื่อ GNU Hurd ได้สร้างระบบปฏิบัติการที่สามารถบูทได้ด้วยการใช้ L4 microkernel ซึ่งให้พื้นที่สำหรับการพัฒนาความเร็วอย่างมีนัยสำคัญแทนอุปกรณ์ที่มีอยู่แล้วซึ่งใช้ Mach microkernel
Output (Japanese): GNUHurdと呼ばれる、協力して開発されたオペレーティングシステムのカーネルがL4マイクロカーネルで立ち上げ可能になり、Machマイクロカーネルを使用した現存の実装より大幅なスピード向上の余裕ができた。