Sent_en: 2ms 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.
Sent_yy: Kernel sistem operasi yang dimajukan secara kolaboratif yang dikenali sebagai GNU Hurd telah boleh dibootkan menggunakan mikrokernel L4, di mana menyediakan ruang untuk peningkatan kelajuan besar ke atas pelaksanaan sedia ada menggunakan mikrokernel Mach.