Comment by RetroTechie

Let's hope monolithic kernels are indeed an historical artefact, and over time microkernels will replace them in most popular OSes.

A few % performance hit? (if that) Who cares. Security & reliability is where it's at these days.