This makes me wonder whether Linux will ever really die, or at least stop being the de facto kernel for serious people. Perhaps HURD will previal in the very end.
In all seriousness, I wonder what's next, if there's a next. Probably just something UNIX-like again. I would like to see a microkernel, though.
Iirc redox can run linux under a hypervisor to use its drivers