Comment by snvzz

You're right to quote some text that addresses the idea that "microkernels are slow", which keeps popping up.

To that, I add this article[0], which is sufficient in destroying that idea.

[0]https://blog.darknedgy.net/technology/2016/01/01/0/