[wladimir]

I don't agree. With virtualisation systems such as Xen it has become easier to use specific operating systems for specific tasks, either as hypervisor or VM.

If the GNU Hurd people can prove that, due to its modularity, it is really that more secure than current OS approaches, I can certainly see some uses.