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 replac

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.