Given a sentence in the Japanese, provide an equivalent translation in Bahasa Indonesia that retains the same meaning through the translation. In translation, keep numbers as it is.
One example: フランスのパリ、パルク・デ・プランスで行われた2007年ラグビーワールドカップのプールCで、イタリアは31対5でポルトガルを下した。
Solution is here: Italia berhasil mengalahkan Portugal 31-5 di grup C dalam Piala Dunia Rugby 2007 di Parc des Princes, Paris, Perancis.
Explanation: This is a correct and accurate translation from Japanese to Bahasa Indonesia because translated text is just paraphrased of Japanese sentence. Also, it preserves the numbers as it is.

Now, solve this: GNUHurdと呼ばれる、協力して開発されたオペレーティングシステムのカーネルがL4マイクロカーネルで立ち上げ可能になり、Machマイクロカーネルを使用した現存の実装より大幅なスピード向上の余裕ができた。
Solution:
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.