Monolithic Kernels Are a Security Nightmare. The Microkernel Excuse Is Dead.
For decades, we accepted the monolithic kernel as a necessary evil, trading system security for raw performance. But modern hardware has eliminated the microkernel performance penalty. The only thing holding us back from mathematically verified, secure OS architectures is our own ecosystem inertia.