@daemonspudguy @nelson@wetdry.world The problem with microkernels is they tend to be slow in the real world, modern architectures are built around the assumption of the monolithic or hybrid-ish kernel, and no one has honestly solved this problem.