Comment by farfatched

I would love GNU Hurd to succeed.

That said, if there's a resurgence in microkernel, it will probably come from the Rust community.