We have to ride it for long enough so that a microkernel inevitably becomes the better option. Maybe L4? IDK, but it’s something that makes this kind of choice irrelevant.