Task: Translation
Input (Japanese): GNUHurdと呼ばれる、協力して開発されたオペレーティングシステムのカーネルがL4マイクロカーネルで立ち上げ可能になり、Machマイクロカーネルを使用した現存の実装より大幅なスピード向上の余裕ができた。
Output (Indonesian): Kernel sistem operasi yang dibangun secara kolaboratif yang dikenal dengan nama GNU Hurd telah dibuat bisa boot menggunakan mikrokernel L4, yang menyediakan ruang untuk perbaikan kecepatan secara signifikan di atas implementasi eksisting menggunakan mikrokernel Mach.