HURD is pretty actively maintained, I don't think it's rotting. Microkernel research just keeps outpacing their ability to implement so they've switched base ke

HURD is pretty actively maintained, I don't think it's rotting. Microkernel research just keeps outpacing their ability to implement so they've switched base kernels like 4 times now.