You will be given a definition of a task first, then some input of the task.
Given a sentence in the Thai, provide an equivalent translation in Japanese that retains the same meaning through the translation. In translation, keep numbers as it is.

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