[mikewarot]

>Isn't what you just described Fuschia?

It would be, if I could get it to run my PC. Same with Genode. Of course at this point nobody expects HURD to come back to life.

[pjmlp]

There are other microkernels to chose from, like QNX or INTEGRITY OS.