It sounds like a really cool idea, but to some extent we already have this with Linux out-of-tree modules - it doesn't work very well, but it's there, you can b

It sounds like a really cool idea, but to some extent we already have this with Linux out-of-tree modules - it doesn't work very well, but it's there, you can build a new version of the module, unload the old one, and load the new one. I suspect the microkernel version of this would be hard to implement for most of the same reasons, and probably fail in most of the same ways, which boil down to "APIs change a lot so things don't stay compatible for long".