GNU Hurd operating system: first user program run using L4 microkernel
Saturday, February 5, 2005 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 …