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

The HURD has been around for a while, and its architecture is archaic. It was designed in a world where Mach is the microkernel, and thus microkernels are slow. There's many more options[0] these days. I'd like to highlight Genode[1], its general purpose distribution Sculpt[2][3], and its community, Genodians[4]. Genode has a much more advanced design and supports a range of modern microkernels including the formally verified seL4[5], which is also the fastest kernel out there. 0. https://www.microkernel.info/ https://www.microkernel.info/ 1. https://genode.org/ https://genode.org/ 2. https://genode.org/download/sculpt https://genode.org/download/sculpt 3. https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthrough https://genodians.org/nfeske/2025-01-30-sculpt-os-walkthroug... 4. https://genodians.org/ https://genodians.org/ 5. https://sel4.systems/ https://sel4.systems/