Porting the GNU Hurd to the L4 Microkernel (2003) [pdf]

Re:Porting the GNU Hurd to the L4 Microkernel (2003) [pdf] by jmnicolas on Friday July 17, 2015 @03:18AM (#9901595)

Can't read the 84 pages now but if I'm not mistaken Hurd and L4 are both (micro)kernels. I don't understand what it means to port a kernel to another kernel.

It would have made sense for me if they had ported the GNU tools to work with L4.

Can somebody enlighten me ?

[ Parent | on HN ]

Re:Porting the GNU Hurd to the L4 Microkernel (2003) [pdf] by rdc12 on Friday July 17, 2015 @03:30AM (#9901629)

Hurd is the higher level services of a micro-kernel, but uses existing kernels for the actual part in kernel space (normally GNU Mach).

So this would be replacing Mach with L4, retaining Hurd for the user space operating system components.

[ Parent | on HN ]

Re:Porting the GNU Hurd to the L4 Microkernel (2003) [pdf] by jmnicolas on Friday July 17, 2015 @03:37AM (#9901644)

Thanks it makes sens now.

[ Parent | on HN ]