Well, Hurd runs on top of a microkernel (Mach) and had been ported to L4. Apparently that didn't work out. But one can be both a microkernel enthusiast and a Hurd enthusiast.
Posted Sep 30, 2013 15:57 UTC (Mon) by Kluge (guest, #2881)
[Link]
>But one can be both a microkernel enthusiast and a Hurd enthusiast.
Sure. My point was that as there are a number of FOSS monolithic kernels out there, anyone preferring to work on HURD will be a microkernel enthusiast. But HURD isn't the only FOSS microkernel-based OS out there, so there is presumably competition for those developers.