The HURD has been around for a while, and its architecture is archaic. It's from a world where Mach is the microkernel, and thus microkernels are slow.

There's many more options[0] these days.

0. https://www.microkernel.info/