Comment by mercurial

You're splitting hairs. Microkernels do offer practical advantages by virtue of their architecture, while suffering from other drawbacks again caused by their architecture.